From 9d09c4d45e50727257f5bc03711fed791fb493b5 Mon Sep 17 00:00:00 2001
From: Giacomo Tesio <giacomo@tesio.it>
Date: Sat, 22 Apr 2017 13:59:42 +0200
Subject: [PATCH] newlib: fix shell script

---
 cross/pkgs/newlib.sh | 2 --
 1 file changed, 2 deletions(-)

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 <http://www.gnu.org/licenses/>.
 
-set -e
-
 if [ "$JEHANNE" = "" ]; then
         echo $0 requires the shell started by ./hacking/devshell.sh
         exit 1