diff options
| author | Jason Gross | 2019-12-18 18:16:13 -0500 |
|---|---|---|
| committer | Jason Gross | 2019-12-19 09:13:20 -0500 |
| commit | 6b309b4297f28fcc6774ac3a19ab830713ec5e62 (patch) | |
| tree | e98040ddea6b91ec38b1cf591086115b58fc5552 | |
| parent | 4a402fe71e79fd005f7c03a9b5cc0d0a30dc9fe9 (diff) | |
Fix complexity test-suite failure reporting on Win
Apparently `expr 1 \+ 1` is fine on Linux but not cygwin/Windows, where
it fails with "syntax error". Similarly for `-` and `/`.
| -rw-r--r-- | test-suite/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/Makefile b/test-suite/Makefile index 609a61226b..7e2ef3bc75 100644 --- a/test-suite/Makefile +++ b/test-suite/Makefile @@ -544,7 +544,7 @@ $(addsuffix .log,$(wildcard complexity/*.v)): %.v.log: %.v $(PREREQUISITELOG) true "find expected time * 100"; \ exp=`sed -n -e "s/(\*.*Expected time < \([0-9]\).\([0-9][0-9]\)s.*\*)/\1\2/p" "$<"`; \ true "compute corrected effective time, rounded up"; \ - rescorrected=`expr \( $$res \* $(bogomips) \+ 6120 \- 1 \) \/ 6120`; \ + rescorrected=`expr \( $$res \* $(bogomips) + 6120 - 1 \) / 6120`; \ ok=`expr \( $$res \* $(bogomips) \) "<" \( $$exp \* 6120 \)`; \ if [ "$$ok" = 1 ]; then \ echo $(log_success); \ |