diff options
| author | Sergei Golubchik <serg@mysql.com> | 2009-10-30 19:13:58 +0100 |
|---|---|---|
| committer | Sergei Golubchik <serg@mysql.com> | 2009-10-30 19:13:58 +0100 |
| commit | 319847a4ec9cbe96b2bf7fb1ff5f8d263e8d12bb (patch) | |
| tree | 53d531c0319fefc2db3ea6c70ceb4648c3cb4ed9 /dbug/mklintlib.sh | |
| parent | eff49de23e87dabb17b07b74f04b104748df8517 (diff) | |
| download | mariadb-git-319847a4ec9cbe96b2bf7fb1ff5f8d263e8d12bb.tar.gz | |
backport of dbug extensions from 6.0:
function/ syntax
glob(7) wildcards
unit tests
Diffstat (limited to 'dbug/mklintlib.sh')
| -rw-r--r-- | dbug/mklintlib.sh | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/dbug/mklintlib.sh b/dbug/mklintlib.sh deleted file mode 100644 index 6963016f334..00000000000 --- a/dbug/mklintlib.sh +++ /dev/null @@ -1,30 +0,0 @@ - -# Warning - first line left blank for sh/csh/ksh compatibility. Do not -# remove it. fnf@Unisoft - -# mklintlib --- make a lint library, under either System V or 4.2 BSD -# -# usage: mklintlib <infile> <outfile> -# - -if test $# -ne 2 -then - echo "usage: mklintlib <infile> <outfile>" - exit 1 -fi - -if grep SIGTSTP /usr/include/signal.h >/dev/null -then # BSD - if test -r /usr/include/whoami.h # 4.1 - then - /lib/cpp -C -Dlint $1 >hlint - (/usr/lib/lint/lint1 <hlint >$2) 2>&1 | grep -v warning - else # 4.2 - lint -Cxxxx $1 - mv llib-lxxxx.ln $2 - fi -else # USG - cc -E -C -Dlint $1 | /usr/lib/lint1 -vx -Hhlint >$2 - rm -f hlint -fi -exit 0 # don't kill make |