From 1a64d05a33e324ed2031a726367ce7fb33d3dc3e Mon Sep 17 00:00:00 2001 From: akl Date: Tue, 27 May 2008 11:04:23 +0000 Subject: [PATCH] Fix pb. with 'wogui' argument for shell scripts in batch mode. --- runInstall | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.39.2