f29

[build.git] / build.common

diff --git a/build.common b/build.common
index 6af8551..c0c73de 100644 (file)
--- a/build.common
+++ b/build.common
@@ -7,8 +7,8 @@
 # Copyright (C) 2007 The Trustees of Princeton University
 # Thierry Parmentelat <thierry.parmentelat@inria.fr> INRIA
 #
-# supported distros f12 f14 f16 f18 f20 f21 f22
-# and debians/ubuntus to a lesser extent
+# supported distros fedoras, and debians/ubuntus to a lesser extent
+# centos's and scientific linux's have been used too quite a while ago
 #
 # for locating pkgs.py
 export PATH=.:$PATH
@@ -23,7 +23,6 @@ function pl_getDistro() {
        distro=$DISTRIB_CODENAME 
     elif [ -f /etc/debian_version ] ; then
        case $(cat /etc/debian_version) in
-           6.*) distro=squeeze ;;
            7.*) distro=wheezy  ;;
            # might be that I'm getting 'jessie'sid' just because it's still testing..
            8.*|jessie*) distro=jessie  ;;
@@ -66,7 +65,7 @@ function pl_getReleaseName () {
        [Ss]L*)
            releasename=sl$release
            ;;
-       squeeze|wheezy|jessie|oneiric|precise|quantal|raring|saucy|trusty|utopic|vivid)
+       wheezy|jessie|precise|trusty|utopic|vivid|wily|xenial)
            releasename=$distro
            ;;
        *)
@@ -388,6 +387,7 @@ fi
     yum_options="$yum_options -y"
     yum_options="$yum_options -c $yum_conf"
     yum_options="$yum_options --installroot=$vroot"
+    yum_options="$yum_options --releasever=$releasever"
 
     # glibc must be specified explicitly for the correct arch to be
     # chosen.