TRIVIAL: Removed crap from syncheck.sh

Author: weissi

syncheck.sh

@@ -3,6 +3,7 @@
 set -e
 
 HERE=$(cd "$(dirname "${BASH_SOURCE[0]}")" > /dev/null && pwd)
+PROG=syncheck.sh
 
 trap bug_found ERR 
 
@@ -32,11 +33,6 @@ function check() {
     return 0
 }
 
-function bad_exit() {
-    echo FAILED
-    exit 1
-}
-
 while read file; do
     check "$file" '^.{121,}$' -EHn "line too long"
     check "$file" ' $' -EHn "trailing whitespace"