diff --git a/core/buildextensions.sh b/core/buildextensions.sh
index 3723ff57..c224376e 100755
--- a/core/buildextensions.sh
+++ b/core/buildextensions.sh
@@ -1,4 +1,5 @@
-#!/bin/sh
+#!/bin/bash
+set -e # halt on failure
 # Get the scripts absolute path
 pushd `dirname $0` > /dev/null
 SCRIPTPATH=`pwd`