pld-builder.new: client/make-request.sh - add AIDA support

[tommat]

Author: tommat                       Date: Tue Nov 11 20:51:30 2008 GMT
Module: pld-builder.new               Tag: HEAD
---- Log message:
- add AIDA support

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

---- Diffs:

================================================================
Index: pld-builder.new/client/make-request.sh
diff -u pld-builder.new/client/make-request.sh:1.49 pld-builder.new/client/make-request.sh:1.50
--- pld-builder.new/client/make-request.sh:1.49	Tue Sep 16 22:29:36 2008
+++ pld-builder.new/client/make-request.sh	Tue Nov 11 21:51:25 2008
@@ -255,6 +255,10 @@
 	builder_email="builderth at ep09.pld-linux.org"
 	default_builders="th-x86_64 th-athlon th-i686"
 	;;
+aidath)
+	builder_email="builderaidath at ep09.pld-linux.org"
+	default_builders="aidath-*"
+	;;
 *)
 	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.49&r2=1.50&f=u