diff options
Diffstat (limited to 'Build/source/.github/scripts')
-rwxr-xr-x | Build/source/.github/scripts/build-tl.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Build/source/.github/scripts/build-tl.sh b/Build/source/.github/scripts/build-tl.sh index 0d18e2fcf57..1cf7643808f 100755 --- a/Build/source/.github/scripts/build-tl.sh +++ b/Build/source/.github/scripts/build-tl.sh @@ -17,7 +17,7 @@ echo "Building on $buildsys" shift STEPS=",$1," -if [ "x$STEPS" = "x" ] +if [ "$STEPS" = ",," ] then STEPS=",prepare,build," fi @@ -48,9 +48,11 @@ then solaris) echo "Solaris support is WIP, please help!" >&2 exit 1 + ;; *) echo "Unsupported build system: $buildsys" >&2 exit 1 + ;; esac fi |