diff options
Diffstat (limited to 'test/Makefile.am')
| -rw-r--r-- | test/Makefile.am | 4 |
1 files changed, 4 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. |