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

_______________________________________________
pld-cvs-commit mailing list
pld-cvs-commit@lists.pld-linux.org
http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit