Fix pb. with 'wogui' argument for shell scripts in batch mode.

diff --git a/runInstall b/runInstall
index 2979f28c1c71aabd490e1caaed60fbe21c260fbb..7f52c919c68875e35d61375dbf470beead57374f 100755 (executable)
--- a/runInstall
+++ b/runInstall
@@ -1191,7 +1191,7 @@ if __name__ == "__main__":
             rm_src_tmp,
             source_dir, subdir[__BINARIES__]
             )
-        if product.woguiinst is not None: cmd += ' TRUE'
+        if product.woguiinst is not None and product.woguiinst != "": cmd += ' TRUE'
         res = os.system(cmd)
         rm_src_tmp = "FALSE"
         pass
@@ -1212,7 +1212,7 @@ if __name__ == "__main__":
                 rm_src_tmp,
                 source_dir, subdir[__BINARIES__]
                 )
-            if product.woguiinst is not None: cmd += ' TRUE'
+            if product.woguiinst is not None and product.woguiinst != "": cmd += ' TRUE'
             res = os.system(cmd)
             pass
         pass