mirror of
https://github.com/freebsd/freebsd-src
synced 2024-07-22 10:48:02 +00:00
8e022d3cde
Note that this enables the backtracking extension, which we had previously left disabled. PR: 244149, 269425 Sponsored by: Klara, Inc. Differential Revision: https://reviews.freebsd.org/D38421
30 lines
538 B
Bash
Executable file
30 lines
538 B
Bash
Executable file
#!/bin/sh
|
|
# $Id: run_lint.sh,v 1.5 2022/11/06 20:56:42 tom Exp $
|
|
# vi:ts=4 sw=4:
|
|
|
|
# run lint on each of the ".c" files in the test directory
|
|
|
|
if test $# = 1
|
|
then
|
|
PROG_DIR=`pwd`
|
|
TEST_DIR=$1
|
|
else
|
|
PROG_DIR=..
|
|
TEST_DIR=.
|
|
fi
|
|
|
|
: "${FGREP:=grep -F}"
|
|
ifBTYACC=`$FGREP -l 'define YYBTYACC' config.h > /dev/null; test $? != 0; echo $?`
|
|
|
|
if test "$ifBTYACC" = 0; then
|
|
REF_DIR=${TEST_DIR}/yacc
|
|
else
|
|
REF_DIR=${TEST_DIR}/btyacc
|
|
fi
|
|
|
|
echo "** `date`"
|
|
for i in ${REF_DIR}/*.c
|
|
do
|
|
make -f $PROG_DIR/makefile lint C_FILES="$i" srcdir="$PROG_DIR"
|
|
done
|