From 4307c68e8ba0832741a151aedb69acafda086fc3 Mon Sep 17 00:00:00 2001
From: Daniel Hokka Zakrisson <dhokka@cs.princeton.edu>
Date: Sun, 13 Apr 2008 21:40:01 +0000
Subject: [PATCH] Only the major version number is interesting for CentOS.

---
 build.common | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/build.common b/build.common
index 5faf9b4c..9cd25f2a 100644
--- a/build.common
+++ b/build.common
@@ -57,12 +57,12 @@ function pl_getReleaseName () {
 		releasename=f$release
 	    fi ;;
 	[Cc]entOS*)
-	    if [ "$release" = "4.5" ] ; then
-	    # centos 4.5 is just centos4 + enhancements
-		releasename=centos4
-	    else
-		releasename=centos$release
-	    fi ;;
+	    old_IFS="$IFS"
+	    IFS="."
+	    set -- $release
+	    IFS="$old_IFS"
+	    releasename=centos$1
+	    ;;
 	*)
 	    releasename="unknown-name-for-${pl_DISTRO}-please-edit-build.common"
 	    echo 1>&2 "build.common: WARNING - releasename not set for distro=$distro" 
-- 
2.47.0