diff options
-rwxr-xr-x | tools/mpfrlint | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint index 757d4e175..b6a6f898b 100755 --- a/tools/mpfrlint +++ b/tools/mpfrlint @@ -74,6 +74,11 @@ do echo "Missing '#include \"mpfr-impl.h\"' in $file?" done +# "mpfr-impl.h" must not be included directly by the test programs. +# Otherwise __MPFR_WITHIN_MPFR will be defined, yielding failures +# under MS Windows with DLL. +grep --exclude=mpfr-test.h '^ *# *include *"mpfr-impl.h"' tests/*.{c,h} + # mpfr_printf-like functions shouldn't be used in the tests, # as they need <stdarg.h> (HAVE_STDARG defined). for file in tests/*.c |