diff --git a/tools/check-contiki-style b/tools/check-contiki-style
index c0ce2928a..17096267c 100755
--- a/tools/check-contiki-style
+++ b/tools/check-contiki-style
@@ -1,8 +1,9 @@
 #!/bin/sh
+f=`basename $1`
 mkdir /tmp/$$
 cp $1 /tmp/$$/
-cp $1 /tmp/$$/$1.orig
+cp $1 /tmp/$$/$f.orig
 export INDENT_PROFILE=`dirname $0`/indent.pro
-indent /tmp/$$/$1
-diff /tmp/$$/$1.orig /tmp/$$/$1
+indent /tmp/$$/$f
+diff /tmp/$$/$f.orig /tmp/$$/$f
 rm -rf /tmp/$$