Index: tools/ccheck.sh
===================================================================
--- tools/ccheck.sh	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ tools/ccheck.sh	(revision 631281dedb2b080d5b5af149d4e4b05369d66c34)
@@ -29,4 +29,7 @@
 
 ccheck=tools/sycek/ccheck
+if [ ."$CCHECK" != . ]; then
+	ccheck="$CCHECK"
+fi
 
 if [ ."$1" == .--fix ] ; then
@@ -45,5 +48,5 @@
 while read fname; do
 	outfile="$(mktemp)"
-	$ccheck $opt $fname >"$outfile" 2>&1
+	"$ccheck" $opt $fname >"$outfile" 2>&1
 	rc=$?
 	if [ .$rc == .0 ]; then