diff options
| -rw-r--r-- | util/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/Makefile b/util/Makefile index 943a2ad3..d70ca057 100644 --- a/util/Makefile +++ b/util/Makefile @@ -12,6 +12,6 @@ test: case $$? in 0) result=ok;; *) result='not ok';; esac; \ echo $$result $$i - $$exe; \ } & \ - (( i++ )); \ + i=$$(( i+1 )); \ done; \ wait |