diff options
Diffstat (limited to 'test/emul/run-emul.sh')
| -rwxr-xr-x | test/emul/run-emul.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/emul/run-emul.sh b/test/emul/run-emul.sh index 2db56f3..0857689 100755 --- a/test/emul/run-emul.sh +++ b/test/emul/run-emul.sh @@ -37,7 +37,7 @@ for asmfile in *.asm ; do continue fi - if "$VALGRIND" $VALGRIND_OPTS "$EMUL" "$binfile" > "$outfile" ; then + if $VALGRIND $VALGRIND_OPTS "$EMUL" "$binfile" > "$outfile" ; then # Each postcondition line must hold true, and forms a separate test to # help track down failures (echo '; POST $0 = 0' ; |