From b331f7bb8d89e7c922dd90b6d84b22e323c60b66 Mon Sep 17 00:00:00 2001 From: Edison Su Date: Thu, 6 Jan 2011 12:16:42 -0500 Subject: [PATCH] add missing config files --- wscript_configure | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/wscript_configure b/wscript_configure index afc9526db35..a830352e265 100644 --- a/wscript_configure +++ b/wscript_configure @@ -37,7 +37,7 @@ systemjars = { "tomcat6-jsp-2.1-api-6.0.26.jar", #"tomcat6/catalina.jar", # all supported distros put the file there ), - 'RHEL6': + 'RHEL': ( "tomcat6-servlet-2.5-api.jar", "tomcat6-el-2.1-api-6.0.24.jar", @@ -110,7 +110,7 @@ elif _exists("/etc/centos-release"): conf.env.DISTRO = "CentOS" elif _exists("/etc/redhat-release"): version = file("/etc/redhat-release").readline() if version.find("Red Hat Enterprise Linux Server release 6") != -1: - conf.env.DISTRO = "RHEL6" + conf.env.DISTRO = "RHEL" elif version.find("Centos release") != -1: conf.env.DISTRO = "CentOS" else: conf.env.DISTRO = "unknown"