From: Marc Fiuczynski <mef@cs.princeton.edu>
Date: Tue, 20 Nov 2007 20:45:13 +0000 (+0000)
Subject: properly set pl_DISTRO_NAME for CentOS
X-Git-Tag: 4.2-rc2~505
X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;h=8f65dcf8db0c6bf505a5bb5ba776a1f39e9af1be;p=build.git

properly set pl_DISTRO_NAME for CentOS
---

diff --git a/build.common b/build.common
index 40de70f0..60ed22d8 100644
--- a/build.common
+++ b/build.common
@@ -60,6 +60,13 @@ case $pl_DISTRO in
 	else
 	    pl_DISTRO_NAME=f$pl_DISTRO_RELEASE
 	fi ;;
+    [Cc]entOS*)
+	if [ "$pl_DISTRO_RELEASE" = "4.5" ] ; then
+	    # centos 4.5 is just centos4 + enhancements
+	    pl_DISTRO_NAME=centos4
+	else
+	    pl_DISTRO_NAME=centos$pl_DISTRO_RELEASE
+	fi ;;
     *)
 	echo "build.common: WARNING - pl_DISTRO_NAME not set for distro=$pl_DISTRO" ;;
 esac