ignore flags -R, -p*, -g*
authorEdward Wang <edward@ucbvax.Berkeley.EDU>
Thu, 7 Jul 1988 19:58:27 +0000 (11:58 -0800)
committerEdward Wang <edward@ucbvax.Berkeley.EDU>
Thu, 7 Jul 1988 19:58:27 +0000 (11:58 -0800)
SCCS-vsn: old/pcc/lint/lint.sh 1.8

usr/src/old/pcc/lint/lint.sh

index 27ad9e1..68a00d5 100644 (file)
@@ -1,6 +1,6 @@
 #! /bin/sh
 #
 #! /bin/sh
 #
-#      @(#)lint.sh     1.7     (Berkeley)      %G%
+#      @(#)lint.sh     1.8     (Berkeley)      %G%
 #
 L=/usr/lib/lint/lint T=/tmp/lint.$$ PATH=/bin:/usr/bin O="-C -Dlint"
 X= P=unix LL=/usr/lib/lint
 #
 L=/usr/lib/lint/lint T=/tmp/lint.$$ PATH=/bin:/usr/bin O="-C -Dlint"
 X= P=unix LL=/usr/lib/lint
@@ -15,7 +15,8 @@ do
                C=`echo $A | sed -e s/-C/llib-l/`
                X="$X -L -C$C" ;;
        -[IDU]*)O="$O $A" ;;
                C=`echo $A | sed -e s/-C/llib-l/`
                X="$X -L -C$C" ;;
        -[IDU]*)O="$O $A" ;;
-       -O)     ;;
+       -[ORpg]*)
+               ;;
        -X)     LL=/usr/src/usr.bin/lint
                L=/usr/src/usr.bin/lint/lpass ;;
        -*)     X="$X $A"
        -X)     LL=/usr/src/usr.bin/lint
                L=/usr/src/usr.bin/lint/lpass ;;
        -*)     X="$X $A"