diff options
author | Kevin Ryde <user42@zip.com.au> | 2001-10-11 02:43:17 +0200 |
---|---|---|
committer | Kevin Ryde <user42@zip.com.au> | 2001-10-11 02:43:17 +0200 |
commit | 7b0597d518f3d025e80ad9f8d06f9520cc2f9420 (patch) | |
tree | e42244c6c98b6da0181644877cd8520c5e9280f3 /mpfr | |
parent | 971d8847bb411463b8b42210cc49d8be014efcd8 (diff) | |
download | gmp-7b0597d518f3d025e80ad9f8d06f9520cc2f9420.tar.gz |
* tests/*/Makefile.in, mpfr/tests/Makefile.in: Regenerate with
automake patch to avoid Ultrix problem with empty $(TESTS).
Diffstat (limited to 'mpfr')
-rw-r--r-- | mpfr/tests/Makefile.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/mpfr/tests/Makefile.in b/mpfr/tests/Makefile.in index 14a049974..ef657244b 100644 --- a/mpfr/tests/Makefile.in +++ b/mpfr/tests/Makefile.in @@ -597,6 +597,8 @@ check-TESTS: $(TESTS) echo "$$banner"; \ echo "$$dashes"; \ test "$$failed" -eq 0; \ + else \ + true; \ fi DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST) |