Build fixes

This commit is contained in:
crschnick 2023-07-19 10:17:20 +00:00
parent bf5b8c8857
commit a6372f8872

View file

@ -4,7 +4,8 @@ which sdk
if [ $? -ne 0 ]; then
curl -s "https://get.sdkman.io" | bash
if [ $? -ne 0 ]; then
die "sdkman failed"
echo "sdkman failed"
exit 1
fi;
. "$HOME/.sdkman/bin/sdkman-init.sh"
fi;