diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/Makefile.am | 4 | ||||
| -rw-r--r-- | test/Makefile.in | 4 |
2 files changed, 8 insertions, 0 deletions
diff --git a/test/Makefile.am b/test/Makefile.am index 943dbd9f..2bbc5539 100644 --- a/test/Makefile.am +++ b/test/Makefile.am @@ -873,6 +873,10 @@ PGAWKPROG = ../pgawk$(EXEEXT) AWK = LC_ALL=$${GAWKLOCALE:-C} LANG=$${GAWKLOCALE:-C} $(AWKPROG) PGAWK = LC_ALL=$${GAWKLOCALE:-C} LANG=$${GAWKLOCALE:-C} $(PGAWKPROG) +check-mpfr: AWK+=-M + +check-mpfr: check + # Message stuff is to make it a little easier to follow. # Make the pass-fail last and dependent on others to avoid # spurious errors if `make -j' in effect. diff --git a/test/Makefile.in b/test/Makefile.in index a389929a..f56ee6ca 100644 --- a/test/Makefile.in +++ b/test/Makefile.in @@ -1225,6 +1225,10 @@ uninstall-am: mostlyclean-generic pdf pdf-am ps ps-am uninstall uninstall-am +check-mpfr: AWK+=-M + +check-mpfr: check + # Message stuff is to make it a little easier to follow. # Make the pass-fail last and dependent on others to avoid # spurious errors if `make -j' in effect. |