git://git.onelab.eu
/
build.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
1e2a6d1
)
properly set pl_DISTRO_NAME for CentOS
author
Marc Fiuczynski
<mef@cs.princeton.edu>
Tue, 20 Nov 2007 20:45:13 +0000
(20:45 +0000)
committer
Marc Fiuczynski
<mef@cs.princeton.edu>
Tue, 20 Nov 2007 20:45:13 +0000
(20:45 +0000)
build.common
patch
|
blob
|
history
diff --git
a/build.common
b/build.common
index
40de70f
..
60ed22d
100644
(file)
--- 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