pld-builder.new: client/make-request.sh - display builder info too

[glen]

Author: glen                         Date: Tue Dec 11 20:22:14 2007 GMT
Module: pld-builder.new               Tag: HEAD
---- Log message:
- display builder info too

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

---- Diffs:

================================================================
Index: pld-builder.new/client/make-request.sh
diff -u pld-builder.new/client/make-request.sh:1.38 pld-builder.new/client/make-request.sh:1.39
--- pld-builder.new/client/make-request.sh:1.38	Wed Nov 28 00:53:12 2007
+++ pld-builder.new/client/make-request.sh	Tue Dec 11 21:22:08 2007
@@ -232,6 +232,9 @@
 	builder_email="builderth at ep09.pld-linux.org"
 	default_builders="th-*"
 	;;
+*)
+	die "distro \`$distro' not known"
+	;;
 esac
 
 specs=`for s in $specs; do
@@ -255,7 +258,7 @@
 		requester="$requester at pld-linux.org"
 fi
 
-if [ "$builders" = "" ] ; then
+if [ -z "$builders" ] ; then
 	builders="$default_builders"
 fi
 
@@ -305,7 +308,8 @@
 		echo "	<batch id='$bid' depends-on=''>"
 		echo "		 <command flags='$command_flags'>$command</command>"
 		echo "		 <info></info>"
-		for b in $builders ; do
+		for b in $builders; do
+			echo >&2 "* Builder: $b"
 			echo "		 <builder>$b</builder>"
 		done
 		echo "	</batch>"
@@ -342,6 +346,7 @@
 		done
 		echo
 		for b in $builders; do
+			echo >&2 "* Builder: $b"
 			echo "		 <builder>$b</builder>"
 		done
 		echo "	</batch>"
================================================================

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