diff options
Diffstat (limited to 'c/src/tests/tools/generic/difftest')
| -rw-r--r-- | c/src/tests/tools/generic/difftest | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/c/src/tests/tools/generic/difftest b/c/src/tests/tools/generic/difftest index 7204e00188..7c21155dbb 100644 --- a/c/src/tests/tools/generic/difftest +++ b/c/src/tests/tools/generic/difftest @@ -1,7 +1,7 @@ -#!/bin/ksh -p +#!KSHELL -p # -# Check test results against official output in the src tree -# $Id$ +# Check test results against official output in the src tree +# $Id$ # # XXX: do not run size.exe with this; it asks questions we don't answer |