pld-builder.new: client/make-request.sh - validate distro argument

[glen]

Author: glen                         Date: Thu Dec 29 10:02:13 2011 GMT
Module: pld-builder.new               Tag: HEAD
---- Log message:
- validate distro argument

---- Files affected:
pld-builder.new/client:
   make-request.sh (1.100 -> 1.101) 

---- Diffs:

================================================================
Index: pld-builder.new/client/make-request.sh
diff -u pld-builder.new/client/make-request.sh:1.100 pld-builder.new/client/make-request.sh:1.101
--- pld-builder.new/client/make-request.sh:1.100	Fri Oct  7 20:37:34 2011
+++ pld-builder.new/client/make-request.sh	Thu Dec 29 11:02:08 2011
@@ -216,11 +216,35 @@
 	exit 0
 }
 
+# validate distro, set $distro
+set_distro() {
+	case "$1" in
+	ac)
+		;;
+	ac-java|ac-xen)
+		;;
+	ti)
+		;;
+	ti-dev)
+		;;
+	th)
+		;;
+	th-java)
+		;;
+	aidath)
+		;;
+	*)
+		die "distro \`$1' not known"
+		;;
+	esac
+
+	distro=$1
+}
 
 while [ $# -gt 0 ] ; do
 	case "$1" in
 		--distro | -d)
-			distro=$2
+			set_distro $2
 			shift
 			;;
 
================================================================

---- CVS-web:
    http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/pld-builder.new/client/make-request.sh?r1=1.100&r2=1.101&f=u