Index: tools/ccheck.sh
===================================================================
--- tools/ccheck.sh	(revision 61c9ee245ce76e905057b74bba2180046d9fb85e)
+++ tools/ccheck.sh	(revision e3473967252c49920b3c2af00dbb1c3dfd61f614)
@@ -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