newlib: fix shell script

2017-04-22 13:59:42 +02:00 · 2017-04-22 13:59:42 +02:00 · 9d09c4d45e
parent dc177db311
commit 9d09c4d45e
1 changed files with 0 additions and 2 deletions
--- 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