package.yaml: Enable RTS statistics when compiling without threads (#2031)

ttuegel · rv-jenkins · web-flow · commit 8a53ba898bde · 2020-07-31T10:04:21.000-05:00
Co-authored-by: rv-jenkins &lt;admin@runtimeverification.com&gt;
diff --git a/kore/package.yaml b/kore/package.yaml
@@ -162,7 +162,7 @@ _common-exe: &common-exe
       then:
         ghc-options: -threaded -rtsopts "-with-rtsopts=-N -T -A32M -qn4"
       else:
-        ghc-options: -rtsopts "-with-rtsopts=-A32M"
+        ghc-options: -rtsopts "-with-rtsopts=-A32M -T"
 
 executables:
   kore-parser:
