Configure should stop on error.

Set the POSIX -e option on the #! line invoking /bin/sh.
If any of the sub-commands fail, the Configure as a whole should fail.

diff --git a/src/scripts/Configure b/src/scripts/Configure
index 06bd8bdd4a38b264e767f03eb0277b19b185b5f7..6c340ee25e2359632fc8b403bda2436063bc361a 100755 (executable)
--- a/src/scripts/Configure
+++ b/src/scripts/Configure
@@ -1,4 +1,4 @@
-#! /bin/sh
+#! /bin/sh -e

 
 # A script to be called to run all the other configuring scripts manually.
 
 
 # A script to be called to run all the other configuring scripts manually.