diff options
Diffstat (limited to '')
| -rw-r--r-- | c/src/tests/tools/generic/sorttimes.in (renamed from c/src/tests/tools/generic/sorttimes) | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/c/src/tests/tools/generic/sorttimes b/c/src/tests/tools/generic/sorttimes.in index e52bf25936..594ae4397d 100644 --- a/c/src/tests/tools/generic/sorttimes +++ b/c/src/tests/tools/generic/sorttimes.in @@ -1,4 +1,4 @@ -#!KSHELL -p +#!@KSH@ -p # # This script takes the output from the Timing Test Suite, reorders # it, and adds headers so it is in the same order as is printed in |