diff options
Diffstat (limited to 'pc/Makefile.tst')
| -rw-r--r-- | pc/Makefile.tst | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/pc/Makefile.tst b/pc/Makefile.tst index 96902d93..0d5cef13 100644 --- a/pc/Makefile.tst +++ b/pc/Makefile.tst @@ -2665,9 +2665,7 @@ fieldwdth: forcenum: @echo $@ $(ZOS_FAIL) @AWKPATH="$(srcdir)" $(AWK) -f $@.awk --non-decimal-data >_$@ 2>&1 || echo EXIT CODE: $$? >>_$@ - @-if echo "$$GAWK_TEST_ARGS" | egrep -q -e '-M|--bignum' > /dev/null ; \ - then $(CMP) "$(srcdir)"/$@-mpfr.ok _$@ && rm -f _$@ ; \ - else $(CMP) "$(srcdir)"/$@.ok _$@ && rm -f _$@ ; fi + @-$(CMP) "$(srcdir)"/$@.ok _$@ && rm -f _$@ fpat1: @echo $@ |