Index: tools/ccheck.sh
===================================================================
--- tools/ccheck.sh	(revision 61c9ee245ce76e905057b74bba2180046d9fb85e)
+++ tools/ccheck.sh	(revision df2e5514fa8f0044ee3ce752a6fd5cf72425718e)
@@ -30,4 +30,10 @@
 ccheck=tools/sycek/ccheck
 
+if [ ."$1" == .--fix ] ; then
+	opt=--fix
+else
+	opt=
+fi
+
 srepcnt=0
 snorepcnt=0
@@ -37,5 +43,5 @@
 while read fname; do
 	outfile="$(mktemp)"
-	$ccheck $fname >"$outfile" 2>&1
+	$ccheck $opt $fname >"$outfile" 2>&1
 	rc=$?
 	if [ .$rc == .0 ]; then