Fix a bug in runInstall script

diff --git a/runInstall b/runInstall
index 0c275b9c859f89da5b0fef0b9a8b8e60b26da3ae..d3d2725a73206617ef4bc7cddfa7d693f88e475f 100755 (executable)
--- a/runInstall
+++ b/runInstall
@@ -487,7 +487,7 @@ if __name__ == "__main__":
     # define xml file -----------------
     if (xml_file is None) :
         xml_file_name = "config.xml"
-        if os.path.exists("/proc/version"):
+        if os.path.exists("/etc/redhat-release"):
             data = open("/etc/redhat-release").readline()
             res = re.search(r'Red\s+Hat\s+Linux\s+release\s+([\d.]*)', data)
             if res is not None: