diff options
Diffstat (limited to 'misc/tools/gen-instance-ufo.sh')
| -rwxr-xr-x | misc/tools/gen-instance-ufo.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/misc/tools/gen-instance-ufo.sh b/misc/tools/gen-instance-ufo.sh index b8deb0632..61a1a1b4d 100755 --- a/misc/tools/gen-instance-ufo.sh +++ b/misc/tools/gen-instance-ufo.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash set -e PROG=${0##*/} DESIGNSPACE=$1 |