diff options
| -rw-r--r-- | test-suite/Makefile | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/test-suite/Makefile b/test-suite/Makefile index a3050bfccc..1dfbb29ff0 100644 --- a/test-suite/Makefile +++ b/test-suite/Makefile @@ -304,10 +304,16 @@ $(addsuffix .log,$(wildcard output-modulo-time/*.v)): %.v.log: %.v %.out | grep -v "\[Loading ML file" \ | grep -v "Skipping rcfile loading" \ | grep -v "^<W>" \ - | sed 's/\s*[0-9]*\.[0-9]\+\s*//g' \ - | sed 's/\s*0\.\s*//g' \ + | sed -e 's/\s*[0-9]*\.[0-9]\+\s*//g' \ + -e 's/\s*0\.\s*//g' \ + -e 's/\s*[-+]nan\s*//g' \ + -e 's/\s*[-+]inf\s*//g' \ > $$tmpoutput; \ - sed 's/\s*[0-9]*\.[0-9]\+\s*//g' $*.out | sed 's/\s*0\.\s*//g' > $$tmpexpected; \ + sed -e 's/\s*[0-9]*\.[0-9]\+\s*//g' \ + -e 's/\s*0\.\s*//g' \ + -e 's/\s*[-+]nan\s*//g' \ + -e 's/\s*[-+]inf\s*//g' \ + $*.out > $$tmpexpected; \ diff -b -u $$tmpexpected $$tmpoutput 2>&1; R=$$?; times; \ if [ $$R = 0 ]; then \ echo $(log_success); \ |