diff --git a/sanityCheck b/sanityCheck index c61ad824716e46ac364ddd01762b427f3677ad07..7571ed8fc0079bd98179c9a0cd37a959967c6bd6 100755 --- a/sanityCheck +++ b/sanityCheck @@ -70,7 +70,7 @@ $GREP "<<set[^{>=]*==" -- 'src/*' | myprint "DoubleEqualsInSet" # Check for, e.g <<if slaves[foo]>> $GREP "<<\([^>]\|[^>]>[^>]\)*[^$]slaves\[" -- 'src/*' | myprint "MissingDollar" # Check for duplicate words, e.g. with with -$GREP -e " \(\b[a-zA-Z][a-zA-Z]\+\) \1\b " --and --not -e "her her" --and --not -e "you you" --and --not -e "that that" -- 'src/*' | myprint "Duplicate words" +$GREP -e " \(\b[a-zA-Z][a-zA-Z]\+\) \1\b " --and --not -e " her her " --and --not -e " you you " --and --not -e " that that " --and --not -e " in in " --and --not -e " is is "-- 'src/*' | myprint "Duplicate words" # Check that we do not have any variables that we use only once. e.g. $onlyUsedOnce # Ignore *Nationalities