1
by brian
clean slate |
1 |
# Warning - first line left blank for sh/csh/ksh compatibility. Do not
|
2 |
# remove it. fnf@Unisoft
|
|
3 |
||
4 |
# mklintlib --- make a lint library, under either System V or 4.2 BSD
|
|
5 |
#
|
|
6 |
# usage: mklintlib <infile> <outfile>
|
|
7 |
#
|
|
8 |
||
9 |
if test $# -ne 2 |
|
10 |
then
|
|
11 |
echo "usage: mklintlib <infile> <outfile>" |
|
12 |
exit 1 |
|
13 |
fi
|
|
14 |
||
15 |
if grep SIGTSTP /usr/include/signal.h >/dev/null
|
|
16 |
then # BSD |
|
17 |
if test -r /usr/include/whoami.h # 4.1 |
|
18 |
then
|
|
19 |
/lib/cpp -C -Dlint $1 >hlint
|
|
20 |
(/usr/lib/lint/lint1 <hlint >$2) 2>&1 | grep -v warning |
|
21 |
else # 4.2 |
|
22 |
lint -Cxxxx $1
|
|
23 |
mv llib-lxxxx.ln $2
|
|
24 |
fi
|
|
25 |
else # USG |
|
26 |
cc -E -C -Dlint $1 | /usr/lib/lint1 -vx -Hhlint >$2 |
|
27 |
rm -f hlint |
|
28 |
fi
|
|
29 |
exit 0 # don't kill make |
|
30 |