Index: tools/ccheck.sh
===================================================================
--- tools/ccheck.sh	(revision 275530a454965861e479aa95ade6e2c7ca531073)
+++ tools/ccheck.sh	(revision 9b8be79e64f6d9051bd3e81c8c2f91ff32bb499f)
@@ -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