summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2007-11-27 12:55:31 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2007-11-27 12:55:31 +0000
commita271e55043ec01c43a37954de68142e04384657d (patch)
treeb29503e87b49005ee5a57352455bc66ff0504d8b
parent46d42d207b12303574d3c6b6fe0bde5a7211e0f2 (diff)
downloadmpfr-a271e55043ec01c43a37954de68142e04384657d.tar.gz
Added initial mpfrlint sh script to check possible problems in
the MPFR source. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@5026 280ebfd0-de03-0410-8827-d642c229c3f4
-rwxr-xr-xmpfrlint7
1 files changed, 7 insertions, 0 deletions
diff --git a/mpfrlint b/mpfrlint
new file mode 100755
index 000000000..a56e07eea
--- /dev/null
+++ b/mpfrlint
@@ -0,0 +1,7 @@
+#!/bin/sh
+
+# Check possible problems in the MPFR source.
+
+grep '^# *include *<math\.h>' *.c
+
+true