# HG changeset patch
# User Christian Urban <christian.urban@kcl.ac.uk>
# Date 1606956419 0
# Node ID f56d18757526985ed179b1dfdac2647eb6fc90ae
# Parent  1fbaa5f055161b41cfc26a139fe514f35ad4593d
updated

diff -r 1fbaa5f05516 -r f56d18757526 progs/while-arrays/compile_bfc.sc
--- a/progs/while-arrays/compile_bfc.sc	Wed Dec 02 16:03:57 2020 +0000
+++ b/progs/while-arrays/compile_bfc.sc	Thu Dec 03 00:46:59 2020 +0000
@@ -76,7 +76,7 @@
     time_needed(1, os.proc("java", "-jar", "jasmin.jar", s"$class_name.j").call())
   println(s"generated $class_name.class file (in $jasmin_time secs).")
   val (running_time, output) = 
-    time_needed(1, os.proc("java", s"${class_name}/${class_name}").call().out.text())
+    time_needed(1, os.proc("java", s"${class_name}/${class_name}").call(stdout = os.Inherit, stdin = os.Inherit).out.text())
   println(output)
   println(s"done (in $running_time secs).")
 }
diff -r 1fbaa5f05516 -r f56d18757526 progs/while/compile.sc
--- a/progs/while/compile.sc	Wed Dec 02 16:03:57 2020 +0000
+++ b/progs/while/compile.sc	Thu Dec 03 00:46:59 2020 +0000
@@ -217,7 +217,7 @@
     val code = compile(bl, class_name)
     os.write.over(os.pwd / s"$class_name.j", code)
     os.proc("java", "-jar", "jasmin.jar", s"$class_name.j").call()
-    print(os.proc("java", s"$class_name/$class_name").call().out.string)
+    os.proc("java", s"$class_name/$class_name").call(stdout = os.Inherit, stdin = os.Inherit)
 }
 
 @main