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 b03c125..0c25ed3 100755 --- a/sim-scripts/nosim +++ b/sim-scripts/nosim @@ -1,4 +1,4 @@ -#! /usr/bin/eval bash +#! /usr/bin/env bash case $1 in *acats*) |