rest of stuff

2025-10-28 18:57:48 +01:00 · 2024-01-03 23:18:32 +01:00
parent 2926f07a0e
commit 8c542226aa
9 changed files with 91 additions and 14 deletions
--- a/clitests/testall.sh
+++ b/clitests/testall.sh
@@ -5,7 +5,7 @@ FAILED=()

 for FILE in *.psil; do
      echo "TESTING $FILE"
-      $PSIL -f $FILE --repl- > $FILE.res
+      $PSIL -f $FILE --repl- --default_log_level:0 > $FILE.res
      if [ $? -ne 0 ]; then
          FAILED+=("test-"$FILE)
          continue