From b19b472592d2a5e9b3432c158c76f632961d3dc8 Mon Sep 17 00:00:00 2001
From: =?utf8?q?S=2E=C3=87a=C4=9Flar=20Onur?= <caglar@cs.princeton.edu>
Date: Tue, 27 Apr 2010 20:46:40 +0000
Subject: [PATCH] typo

---
 build.common | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.common b/build.common
index dc8bb386..e179c1bc 100644
--- a/build.common
+++ b/build.common
@@ -32,7 +32,7 @@ function pl_getDistro() {
 # returns something like 8, 10, or 5.3
 function pl_getRelease() {
     if [ -f "/etc/redhat-release" ] ; then
-	release=$(awk ' { if ($1=="Fedora" && $2=="Core") print $4 ; if (($1=="Fedora" && $2!="Core")||$1=="CentOS") print $3 ; if ($1=="Redhat") print $6 } ' /etc/redhat-release)
+	release=$(awk ' { if ($1=="Fedora" && $2=="Core") print $4 ; if (($1=="Fedora" && $2!="Core")||$1=="CentOS") print $3 ; if ($1=="Red") print $6 } ' /etc/redhat-release)
     else
 	echo "build.common.pl_getRelease-unknown"
 	exit 1
-- 
2.47.0