diff options
Diffstat (limited to 'test/Gentests')
| -rwxr-xr-x | test/Gentests | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/test/Gentests b/test/Gentests index 640c3a0c..ae56b8cc 100755 --- a/test/Gentests +++ b/test/Gentests @@ -100,9 +100,12 @@ function generate(x, s) printf "\t@echo $@\n" printf "\t@AWKPATH=$(srcdir) $(AWK) -f $@.awk %s >_$@ 2>&1 || echo EXIT CODE: $$? >>_$@\n", s + if (x in mpfr) { delete mpfr[x] - printf "\t@-($(CMP) $(srcdir)/$@.ok _$@ || $(CMP) $(srcdir)/$@-mpfr.ok _$@) && rm -f _$@\n\n" + printf "\t@-if test -z \"$$AWKFLAGS\" ; then $(CMP) $(srcdir)/$@.ok _$@ && rm -f _$@ ; else \\\n" + printf "\t$(CMP) $(srcdir)/$@-mpfr.ok _$@ && rm -f _$@ ; \\\n" + printf "\tfi\n\n" } else { printf "\t@-$(CMP) $(srcdir)/$@.ok _$@ && rm -f _$@\n\n" } |