From ef8df473dcebe75359cc44cc4264463087d13eac Mon Sep 17 00:00:00 2001 From: vsr Date: Tue, 21 Jun 2005 06:46:21 +0000 Subject: [PATCH] Fix a bug in runInstall script --- runInstall | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/runInstall b/runInstall index 0c275b9..d3d2725 100755 --- 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: -- 2.39.2