diff --git a/scripts/coccicheck b/scripts/coccicheck
index 97f28f0f9498fdebdacdcad83f7a0735ab0e55bd..41a85b1ed35e3142dd9e50e957434a0477511851 100755
--- a/scripts/coccicheck
+++ b/scripts/coccicheck
@@ -186,7 +186,7 @@ coccinelle () {
 
     if [ $VERBOSE -ne 0 -a $ONLINE -eq 0 ] ; then
 
-	FILE=`echo $COCCI | sed "s|$srctree/||"`
+	FILE=${COCCI#$srctree/}
 
 	echo "Processing `basename $COCCI`"
 	echo "with option(s) \"$OPT\""