shell portability fix

ChangeLog

@@ -1,6 +1,9 @@
 (Format: Year/Month/Day)
 Changes for 0.9.16:
 *06/04/17:
+   * Make autogen.sh properly /bin/sh portable (Simon)
+     Fixes #1445464
+     autogen.sh
    * patchset missed my fbrun -Wall fixes (Simon)
      util/fbrun/FbRun.cc
 *06/04/16:

autogen.sh

@@ -4,7 +4,8 @@
 dothis() {
     echo "Executing:  $*"
     echo
-    if ! $* ;then
+    $*
+    if [ $? -ne 0 ]; then
         echo -e '\n ERROR: Carefully read the error message and'
         echo      '        try to figure out what went wrong.'
         exit 1