File indexing completed on 2024-05-05 13:24:42
0001 #!/bin/sh 0002 0003 fail=0 0004 0005 ( . "${tools_dir}"/check-whitespace.sh ) || fail=$? 0006 0007 if egrep '(Free\s*Software\s*Foundation.*02139|02111-1307)' "$@" 0008 then 0009 echo "^^^ The above files contain the FSF's old address in GPL headers" 0010 fail=1 0011 fi 0012 0013 exit $fail