+# All distributions we know of
+ALLD="ubuntu/lucid ubuntu/natty ubuntu/oneiric ubuntu/precise ubuntu/quantal ubuntu/raring ubuntu/saucy ubuntu/trusty 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