add raring as a ubuntu distro

[build.git] / build.common

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