diff -r 9c80f411faa7 -r 59eeb22c9229 mk_jars
--- a/mk_jars	Mon Nov 08 18:57:50 2021 +0000
+++ b/mk_jars	Mon Nov 08 20:59:32 2021 +0000
@@ -10,7 +10,7 @@
       echo "copy to ${sd/solution/templates}/${fl%.scala}.jar"
       scalac -d ${fl%.scala}.jar $fl
       cp ${fl%.scala}.jar "../${sd/solution/templates}"
-      hg add "../${sd/solution/templates}/${fl%.scala}.jar"
+      hg add -q "../${sd/solution/templates}/${fl%.scala}.jar"
   done
   cd ..
 done