+if test "$DEBIAN_DIST"; then
+ for d in $DEBIAN_DIST; do
+ DISTRIBUTIONS="$DISTRIBUTIONS debian/$d"
+ done
+fi
+if test "$UBUNTU_DIST"; then
+ for d in $UBUNTU_DIST; do
+ DISTRIBUTIONS="$DISTRIBUTIONS ubuntu/$d"
+ done
+fi
+
+# All distributions we know of
+ALLD="ubuntu/lucid ubuntu/natty ubuntu/oneiric ubuntu/precise ubuntu/quantal ubuntu/raring ubuntu/saucy ubuntu/trusty ubuntu/utopic ubuntu/vivid ubuntu/wily ubuntu/xenial debian/jessie debian/wheezy debian/squeeze debian/lenny"
+
+if test -z "$DISTRIBUTIONS"; then
+ DISTRIBUTIONS=$ALLD
+else
+ for d in $DISTRIBUTIONS; do
+ bad=true
+ for y in $ALLD; do
+ if test "$d" = "$y"; then
+ bad=false
+ fi
+ done
+ if $bad; then
+ echo "No such distro $d"
+ exit 1
+ fi
+ done
+fi
+
+echo "DISTRIBUTIONS=$DISTRIBUTIONS"
+for vdist in $DISTRIBUTIONS ; do