pld-builder.new: client/make-request.sh - th-java distro

[glen]

Author: glen                         Date: Mon Dec 31 16:33:49 2007 GMT
Module: pld-builder.new               Tag: HEAD
---- Log message:
- th-java distro

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

---- Diffs:

================================================================
Index: pld-builder.new/client/make-request.sh
diff -u pld-builder.new/client/make-request.sh:1.43 pld-builder.new/client/make-request.sh:1.44
--- pld-builder.new/client/make-request.sh:1.43	Thu Dec 20 22:51:06 2007
+++ pld-builder.new/client/make-request.sh	Mon Dec 31 17:33:43 2007
@@ -237,6 +237,10 @@
 	builder_email="builderth at ep09.pld-linux.org"
 	default_builders="th-*"
 	;;
+th-java) # fake "distro" for java available th archidectures
+	builder_email="builderth at ep09.pld-linux.org"
+	default_builders="th-*"
+	;;
 *)
 	die "distro \`$distro' not known"
 	;;
================================================================

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