diff options
Diffstat (limited to 'test/Maketests')
| -rw-r--r-- | test/Maketests | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/Maketests b/test/Maketests index 7fb3b3af..0b98f784 100644 --- a/test/Maketests +++ b/test/Maketests @@ -2241,6 +2241,11 @@ mpfrcase: @AWKPATH="$(srcdir)" $(AWK) -f $@.awk -M < "$(srcdir)"/$@.in >_$@ 2>&1 || echo EXIT CODE: $$? >>_$@ @-$(CMP) "$(srcdir)"/$@.ok _$@ && rm -f _$@ +mpfrcase2: + @echo $@ + @AWKPATH="$(srcdir)" $(AWK) -f $@.awk -M < "$(srcdir)"/$@.in >_$@ 2>&1 || echo EXIT CODE: $$? >>_$@ + @-$(CMP) "$(srcdir)"/$@.ok _$@ && rm -f _$@ + mpfrfield: @echo $@ @AWKPATH="$(srcdir)" $(AWK) -f $@.awk -M < "$(srcdir)"/$@.in >_$@ 2>&1 || echo EXIT CODE: $$? >>_$@ |