! is an shell extension not supported on all platforms.. use a dummy

true statement instead.

diff --git a/bootstrap.sh b/bootstrap.sh
index 623faa3cb01e5a3ddfbe3e07ca2783aeb48a1ca2..979a9650f2e24c2b7cf64f82753e08d041531a6d 100755 (executable)
--- a/bootstrap.sh
+++ b/bootstrap.sh
@@ -6,7 +6,9 @@
 
 
 bootstrap() {
-  if ! "$@"; then
+  if "$@"; then
+    true # Everything OK
+  else
     echo "$1 failed"
     echo "Autotool bootstrapping failed. You will need to investigate and correct" ;
     echo "before you can develop on this source tree"