diff options
Diffstat (limited to 'testsuite/gna/ticket24/testsuite.sh')
| -rwxr-xr-x | testsuite/gna/ticket24/testsuite.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/gna/ticket24/testsuite.sh b/testsuite/gna/ticket24/testsuite.sh index 1bef788f2..691c6a516 100755 --- a/testsuite/gna/ticket24/testsuite.sh +++ b/testsuite/gna/ticket24/testsuite.sh @@ -8,7 +8,7 @@ elab psl if ghdl_has_feature psl psl; then simulate psl --psl-report=psl.out - if ! diff_nocr psl.out psl.ref > /dev/null; then + if ! diff_nocr psl.out psl.ref; then echo "report mismatch" exit 1 fi @@ -24,7 +24,7 @@ elab -fpsl psl if ghdl_has_feature psl psl; then simulate psl --psl-report=psl.out - diff_nocr -q psl.out psl.ref + diff_nocr psl.out psl.ref rm -f psl.out fi |