# 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
echo $DISTRIB_CODENAME
elif [ -f /etc/debian_version ] ; then
case $(cat /etc/debian_version) in
- 6.0.6) distro=squeeze ;;
- 7.0) distro=wheezy ;;
- *) distro=unknown.debian.in.build.common ;;
+ 6.*) distro=squeeze ;;
+ 7.*) distro=wheezy ;;
+ # might be that I'm getting 'jessie'sid' just because it's still testing..
+ 8.*|jessie*) distro=jessie ;;
+ *) distro=unknown.debian.in.build.common ;;
esac
fi
[ -z "$distro" ] && { echo "build.common.pl_getDistro-unknown"; exit 1; }
[Ss]L*)
releasename=sl$release
;;
- squeeze|wheezy|oneiric|precise|quantal)
+ squeeze|wheezy|jessie|oneiric|precise|quantal|raring|saucy)
releasename=$distro
;;
*)