diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2012-07-26 14:08:12 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2012-07-26 14:08:12 +0000 |
commit | 5ee4d4ac44718ef6970e36f8130b53ee54658aef (patch) | |
tree | cd534ac6ba2f8b8ac2609f617f8c1ec8be443a78 /tools | |
parent | 05c469ea885fa1b2b75b69d6284a325994015b4d (diff) | |
download | mpfr-5ee4d4ac44718ef6970e36f8130b53ee54658aef.tar.gz |
[tools/mpfrlint] Check for sed.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8359 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/mpfrlint | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint index 9fd132720..a60a2c69d 100755 --- a/tools/mpfrlint +++ b/tools/mpfrlint @@ -23,6 +23,7 @@ grconf() grconf '^(.*if +|[[:space:]]*)(test|\[).* == ' grconf '="`' grconf '[^a-z][ef]?grep[^a-z]' +grconf '[^a-z]sed[^a-z]' srctests=`find src tests -name '*.[ch]'` |