Index: tools/ccheck.sh
===================================================================
--- tools/ccheck.sh	(revision db3089df1b73fd8c776071a2bef307f5226bdf9b)
+++ tools/ccheck.sh	(revision a53ed3a8097360ccf174e8d94fb407db919eb66a)
@@ -36,11 +36,11 @@
 find abi kernel boot uspace -type f -regex '^.*\.[ch]$' | (
 while read fname; do
-	$ccheck $fname >/tmp/ccheck.out 2>&1
+	outfile="$(mktemp)"
+	$ccheck $fname >"$outfile" 2>&1
 	rc=$?
 	if [ .$rc == .0 ]; then
-		if [ -s /tmp/ccheck.out ] ; then
+		if [ -s "$outfile" ] ; then
 			srepcnt=$((srepcnt + 1))
-			echo '**' Reports for file $fname: '**'
-			cat /tmp/ccheck.out
+			cat "$outfile"
 		else
 			snorepcnt=$((snorepcnt + 1))
@@ -49,4 +49,6 @@
 		fcnt=$((fcnt + 1))
 	fi
+
+	rm -f "$outfile"
 done