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