cws/build.sc
changeset 887 d9d52f3e7935
parent 836 a3418ee8c404
child 889 00c1c3408c93
--- a/cws/build.sc	Mon Oct 10 15:06:41 2022 +0100
+++ b/cws/build.sc	Mon Oct 10 15:07:31 2022 +0100
@@ -21,5 +21,6 @@
 
 @main
 def hg() = {
-  os.proc("hg", "commit", "-m texupdate", files.mkString(" ")).call()
+  println(s"$files")
+  println(os.proc("hg", "commit", "-m texupdate", files.mkString(" ")).call())
 }