From 307aa7bbc51fe256630defcfd3da03d1080dc825 Mon Sep 17 00:00:00 2001
From: hno <>
Date: Mon, 1 Oct 2001 23:21:58 +0000
Subject: [PATCH] ! is an shell extension not supported on all platforms.. use
 a dummy true statement instead.

---
 bootstrap.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/bootstrap.sh b/bootstrap.sh
index 623faa3cb0..979a9650f2 100755
--- 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" 
-- 
2.47.2