Hi ,
Further to previous e-mails on the above subject, an update to the
simple patch incorporates Magnus' clarification comment (or a variant
thereof) ...
diff -r 9263073b1d95 configure
--- a/configure Fri May 09 16:24:59 2014 +0100
+++ b/configure Mon May 12 13:03:17 2014 +0100
@@ -26,4 +26,6 @@
# make sure that is called using bash.
this_script_dir=`dirname $0`
+
+# Now invoke the sub-script - using propagated shell options, if any
bash ${-:+-$-} $this_script_dir/common/autoconf/configure "$@"
Rgds ,
--
Dave Pointon FIAP MBCS
Now I saw, tho' too late, the folly of beginning a work before we count the
cost and before we we judge rightly of our strength to go thro' with it -
Robinson Crusoe
