guessing distro from /etc/debian_version on a sid box..
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 4 Feb 2014 18:29:56 +0000 (19:29 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 4 Feb 2014 18:29:56 +0000 (19:29 +0100)
build.common

index f43cb49..51cb0d0 100644 (file)
@@ -25,7 +25,8 @@ function pl_getDistro() {
        case $(cat /etc/debian_version) in
            6.*) distro=squeeze ;;
            7.*) distro=wheezy  ;;
-           8.*) distro=jessie  ;;
+           # 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