summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2010-09-15 15:17:09 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2010-09-15 15:17:09 +0000
commitc849936dcfce24d4346dbffaf20169a4f6c437c7 (patch)
tree2de7d365de62dd9c36eaf380752afee04f13b5ce /tools
parentfaf1a1df0dc62d0a8dfac024ca76bbabf9b72698 (diff)
downloadmpfr-c849936dcfce24d4346dbffaf20169a4f6c437c7.tar.gz
[tools/mpfrlint] Check for mpfr_printf-like functions in the tests.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7145 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools')
-rwxr-xr-xtools/mpfrlint11
1 files changed, 11 insertions, 0 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint
index 5401ef702..90d36aabb 100755
--- a/tools/mpfrlint
+++ b/tools/mpfrlint
@@ -48,6 +48,17 @@ do
echo "Missing '#include \"mpfr-impl.h\"' in $file?"
done
+# mpfr_printf-like functions shouldn't be used in the tests,
+# as they need <stdarg.h> (HAVE_STDARG defined).
+for file in tests/*.c
+do
+ case $file in
+ *printf*) ;;
+ *) grep -q "mpfr_[a-z]*printf" $file && \
+ echo "$file contains mpfr_printf-like function calls" ;;
+ esac
+done
+
fdlv1="`sed -n '/Version / {s/.*Version //; s/,.*//; p; q}' doc/fdl.texi`"
fdlv2="`sed -n '/GNU Free Documentation License/ \
{s/.*Version //; s/ or.*//; p; q}' doc/mpfr.texi`"