diff options
Diffstat (limited to 'sim-scripts/nosim')
-rwxr-xr-x | sim-scripts/nosim | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sim-scripts/nosim b/sim-scripts/nosim index 5ec87b8..b03c125 100755 --- a/sim-scripts/nosim +++ b/sim-scripts/nosim @@ -1,4 +1,4 @@ -#! /bin/sh +#! /usr/bin/eval bash case $1 in *acats*) |