diff options
Diffstat (limited to 'test/Makefile.in')
-rw-r--r-- | test/Makefile.in | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/test/Makefile.in b/test/Makefile.in index e0528b9d..871e5a43 100644 --- a/test/Makefile.in +++ b/test/Makefile.in @@ -607,7 +607,6 @@ EXTRA_DIST = \ fnparydl.ok \ forcenum.awk \ forcenum.ok \ - forcenum-mpfr.ok \ fordel.awk \ fordel.ok \ fork.awk \ @@ -4325,9 +4324,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 $@ |