diff options
Diffstat (limited to 'runtest')
| -rwxr-xr-x | runtest | 15 |
1 files changed, 15 insertions, 0 deletions
| @@ -0,0 +1,15 @@ | |||
| 1 | #!/bin/sh | ||
| 2 | |||
| 3 | testfile="$1" | ||
| 4 | shift | ||
| 5 | |||
| 6 | if [ ! -f "$testfile" ] | ||
| 7 | then | ||
| 8 | echo "Syntax: $0 <testfile>" | ||
| 9 | exit 1 | ||
| 10 | fi | ||
| 11 | |||
| 12 | shebang=$(head -n1 $testfile) | ||
| 13 | cmd=${shebang:2} | ||
| 14 | cmd=${cmd/\/usr\/bin\/runhugs/runhugs} | ||
| 15 | exec $cmd "$@" $testfile | ||
