diff options
Diffstat (limited to 'util')
| -rw-r--r-- | util/Makefile | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/util/Makefile b/util/Makefile index 375199e4..5096506b 100644 --- a/util/Makefile +++ b/util/Makefile @@ -7,14 +7,12 @@ test: n=`echo "$$tests" | wc -l`; \ echo $$i..$$n; \ for exe in $$tests; do \ - { \ - ./$$exe; \ - case $$? in \ - 0) result=ok;; \ - *) result='not ok'; touch .test-not-ok;; \ - esac; \ - echo $$result $$i - $$exe; \ - } & \ + if ./$$exe; then \ + echo ok $$i - $$exe; \ + else \ + echo not ok $$i - $$exe; \ + touch .test-not-ok; \ + fi & \ i=$$(( i+1 )); \ done; \ wait; \ |