DataMuseum.dk

top - download

    Length: 606 (0x25e)
    Types: TextFile
    Names: »nitpick«

└─⟦a0efdde77⟧ Bits:30001252 EUUGD11 Tape, 1987 Spring Conference Helsinki
    └─ ⟦this⟧ »EUUGD11/euug-87hel/sec8/mcp/src/nitpick« 

TextFile

#! /bin/sh

#
# Script to lint individual source modules and maintain lint
# dependencies.
#
# Is invoked through 'make lintbrush'
#
# Works great if you have jove.  Works even better if you can use
# jove. |-)
#

for file
do
	if test ! -f Lint/$file ; then
		touch Lint/$file
	# if the lint marker is younger than the source don't lint
	elif test `ls -t $file Lint/$file | head -1` != $file ; then
		continue;
	fi
	while test `lint -a -b -h -u $file | tee LintErrors | wc -l` != "1"
	do
		echo Uh, oh.  Trouble with $file...
		jove -p LintErrors $file
	done
	echo $file ok.
	touch Lint/$file
done

exit 0