summaryrefslogtreecommitdiffstats
path: root/c/src/exec/score/tools/generic/size_rtems.in
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--c/src/exec/score/tools/generic/size_rtems.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/c/src/exec/score/tools/generic/size_rtems.in b/c/src/exec/score/tools/generic/size_rtems.in
index e3dde44a81..72c96e842c 100644
--- a/c/src/exec/score/tools/generic/size_rtems.in
+++ b/c/src/exec/score/tools/generic/size_rtems.in
@@ -1,4 +1,4 @@
-#!KSHELL -p
+#!@KSH@ -p
#
# size_rtems
#