diff options
Diffstat (limited to 'tests/xsthammer/run-check.sh')
| -rw-r--r-- | tests/xsthammer/run-check.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/xsthammer/run-check.sh b/tests/xsthammer/run-check.sh index 17e7d938..64f0da6d 100644 --- a/tests/xsthammer/run-check.sh +++ b/tests/xsthammer/run-check.sh @@ -75,10 +75,10 @@ done if ../../../../yosys -l ${job}.log ${job}_cmp.ys; then mv ${job}.log ../../$checkdir/${job}.log rm -f ../../$checkdir/${job}.err + touch ../../$checkdir/${job}.log else mv ${job}.log ../../$checkdir/${job}.err rm -f ../../$checkdir/${job}.log - exit 1 fi exit 0 |