fix test

metamath · Nov 4, 2023 · 74986e8 · 74986e8
1 parent c6b8b97
commit 74986e8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/run_test.sh b/tests/run_test.sh
@@ -110,7 +110,7 @@ for test in "$@"; do
   # a new version comes out.
   # The last line is always 'MM> EXIT' which is not relevant.
   # The sed is to redact timings, which are nondeterministic
-  echo "$result" | head -n -1 | tail -n +2 \
+  printf "%s" "$result" | head -n -1 | tail -n +2 \
     | sed -e 's/ \+[0-9]\+\.[0-9]\+ s/ x.xx s/g' \
     > "$outfile"