You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
These scripts used to have set -e, but this was removed because an early call to make clean fails (I think this failure is because GNUstep make is not yet installed by that point.)
If we add || true after the make clean command, we can restore set -e at the top and have the script stop on more meaningful errors.
The text was updated successfully, but these errors were encountered:
These scripts used to have
set -e
, but this was removed because an early call tomake clean
fails (I think this failure is because GNUstep make is not yet installed by that point.)If we add
|| true
after the make clean command, we can restoreset -e
at the top and have the script stop on more meaningful errors.The text was updated successfully, but these errors were encountered: