Implement --cfg option.

scripts/xenofarm.sh

@@ -40,10 +40,12 @@
 
 compiler=default
 compat=false
+cfgargs=
 while [ $# -gt 0 ]
 do
   case "$1" in
       --compat) compat=true; shift;;
+      --cfg)    cfgargs="$1"; shift;;
       *)        compiler="$1"; shift;;
   esac
 done
@@ -101,9 +103,9 @@ pfx=`pwd`/pfx
 status=good
 if test $compiler = default
 then
-    cfgargs=
+    :
 else
-    cfgargs=CC="$compiler"
+    cfgargs="$cfgargs CC=$compiler"
 fi
 
 case `uname -n` in
@@ -138,6 +140,14 @@ case `uname -n` in
 esac
 
 dotask 1 "unzip" "gzip -d $BASE.tar.gz"
+
+if test $compiler = default
+then :
+else
+    echo old-style compiler spec >> r/unziplog.txt
+    touch r/unzip.warn
+fi
+
 dotask 1 "unpack" "tar xf $BASE.tar"
 dotask 1 "cfg" "cd $BASE && ./configure -C --prefix=$pfx $cfgargs"
 dotask 0 "id-cc" "cd $BASE && make ident-cc"