diff --git a/tools/contiki-indent b/tools/contiki-indent index 3a26bfa2f..9bcd36a14 100755 --- a/tools/contiki-indent +++ b/tools/contiki-indent @@ -1,3 +1,3 @@ #!/bin/sh export INDENT_PROFILE=`dirname $0`/indent.pro -indent $1 +indent $*