pld-builder.new (WORKING): client/make-request.sh - --config-file, ...

glen glen at pld-linux.org
Sun Nov 11 19:34:03 CET 2007


Author: glen                         Date: Sun Nov 11 18:34:03 2007 GMT
Module: pld-builder.new               Tag: WORKING
---- Log message:
- --config-file, -C option merge from HEAD

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

---- Diffs:

================================================================
Index: pld-builder.new/client/make-request.sh
diff -u pld-builder.new/client/make-request.sh:1.19.2.16 pld-builder.new/client/make-request.sh:1.19.2.17
--- pld-builder.new/client/make-request.sh:1.19.2.16	Sun Nov 11 19:31:02 2007
+++ pld-builder.new/client/make-request.sh	Sun Nov 11 19:33:58 2007
@@ -47,6 +47,9 @@
   echo "Usage: make-request.sh [OPTION] ... [SPECFILE] ...."
   echo ""
   echo "Mandatory arguments to long options are mandatory for short options too."
+  echo "  -C  --config-file /path/to/config/file"
+  echo "       Source additional config file (after $USER_CFG), useful when"
+  echo "       when sending build requests to Ac/Th from the same account"
   echo "  -b 'BUILDER BUILDER ...'  --builder='BUILDER BUILDER ...'"
   echo "       Sends request to given builders"
   echo "  --with VALUE --without VALUE"
@@ -96,6 +99,11 @@
       shift
       ;;
 
+    --config-file | -C )
+      [ -f $2 ] && . $2 || die "Config file not found"
+      shift
+      ;;
+
     --builder | -b )
       builders="$builders $2"
       shift
================================================================

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



More information about the pld-cvs-commit mailing list