diff options
Diffstat (limited to 'tests/run_tests.sh')
| -rwxr-xr-x | tests/run_tests.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/run_tests.sh b/tests/run_tests.sh index bc26160d8059..f04f459e015b 100755 --- a/tests/run_tests.sh +++ b/tests/run_tests.sh @@ -19,7 +19,7 @@ for _tin in ${TEST_DIR}/*.in ; do diff -s $_t.out $_t.res -u 2>/dev/null if [ $? -ne 0 ] ; then rm $_t.out - echo "Test: $_t output missmatch" + echo "Test: $_t output mismatch" exit 1 fi fi @@ -31,7 +31,7 @@ if [ $# -gt 2 ] ; then diff -s ${TEST_DIR}/generate.out ${TEST_DIR}/generate.res -u 2>/dev/null if [ $? -ne 0 ] ; then rm ${TEST_DIR}/generate.out - echo "Test: generate.res output missmatch" + echo "Test: generate.res output mismatch" exit 1 fi rm ${TEST_DIR}/generate.out |