keep only defaults relevant to the inria end

[build.git] / build.common

diff --git a/build.common b/build.common
index 53371c0..268eaa7 100644 (file)
--- a/build.common
+++ b/build.common
@@ -7,7 +7,8 @@
 # Copyright (C) 2007 The Trustees of Princeton University
 # Thierry Parmentelat <thierry.parmentelat@inria.fr> INRIA
 #
-# supported distros f8, f12, f14, f16, f18, centos5, sl6
+# supported distros f12 f14 f16 f18 f20 
+# and debians/ubuntus to a lesser extent
 #
 # for locating pkgs.py
 export PATH=.:$PATH
@@ -63,7 +64,7 @@ function pl_getReleaseName () {
        [Ss]L*)
            releasename=sl$release
            ;;
-       squeeze|wheezy|oneiric|precise|quantal|raring)
+       squeeze|wheezy|oneiric|precise|quantal|raring|saucy)
            releasename=$distro
            ;;
        *)