fix pl_getDistro - was always returning Redhat
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 28 Apr 2010 07:55:58 +0000 (07:55 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 28 Apr 2010 07:55:58 +0000 (07:55 +0000)
build.common

index e179c1b..390b6f3 100644 (file)
@@ -18,9 +18,7 @@ export PATH=.:$PATH
 function pl_getDistro() {
     if [ -f "/etc/redhat-release" ] ; then
        distro=$(awk ' { print $1 } ' /etc/redhat-release)
-       if [ $distro="Red" ] ; then
-               distro="Redhat"
-       fi
+       case $distro in Red*) distro="Redhat" ; esac
     else
        echo "build.common.pl_getDistro-unknown"
        exit 1