From: akl Date: Tue, 27 May 2008 11:04:23 +0000 (+0000) Subject: Fix pb. with 'wogui' argument for shell scripts in batch mode. X-Git-Tag: V4_1_3~10 X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=1a64d05a33e324ed2031a726367ce7fb33d3dc3e;p=tools%2Finstall.git Fix pb. with 'wogui' argument for shell scripts in batch mode. --- diff --git a/runInstall b/runInstall index 2979f28..7f52c91 100755 --- 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