diff --git a/cross/pkgs/newlib.sh b/cross/pkgs/newlib.sh index 7f46e82..6c91e2c 100755 --- a/cross/pkgs/newlib.sh +++ b/cross/pkgs/newlib.sh @@ -16,8 +16,6 @@ # You should have received a copy of the GNU General Public License # along with Jehanne. If not, see . -set -e - if [ "$JEHANNE" = "" ]; then echo $0 requires the shell started by ./hacking/devshell.sh exit 1