diff options
author | Rasmus Andersson <rasmus@notion.se> | 2022-10-08 03:45:32 +0300 |
---|---|---|
committer | Rasmus Andersson <rasmus@notion.se> | 2022-10-08 03:45:32 +0300 |
commit | 71fc6bbb6906a92782955ae566ec3579cabcd224 (patch) | |
tree | 4cd9a96f6fa06bdb209716ba9f98547f50b4b229 /misc | |
parent | 7cc0ab62e6b2e24aa0497487b0c360af13b15808 (diff) | |
download | inter-71fc6bbb6906a92782955ae566ec3579cabcd224.tar.xz |
fix github actions by making gen-instance-ufo.sh use bash explicitly
Diffstat (limited to 'misc')
-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 |