# HG changeset patch
# User Rob Landley <rob@landley.net>
# Date 1228027959 21600
# Node ID 9a36ec9d02f7019c82344ac8195758eec57529cb
# Parent  f4c85452044675ce7942a6c906d322f6fcf99133
Add a --static-host command line option to build-all-targets.sh.

diff -r f4c854520446 -r 9a36ec9d02f7 sources/build-all-targets.sh
--- a/sources/build-all-targets.sh	Sat Nov 29 20:40:01 2008 -0600
+++ b/sources/build-all-targets.sh	Sun Nov 30 00:52:39 2008 -0600
@@ -20,6 +20,11 @@
     shift
     FORKCOUNT="$(echo $1 | sed -n '/^[0-9]/{;s/[^0-9]//g;p;}')"
     [ ! -z "$FORKCOUNT" ] && shift || FORKCOUNT=0
+  elif [ "$1" == "--static-host" ]
+  then
+    shift
+    USE_STATIC_HOST="$1"
+    shift
   else
     echo "Unknown argument $1"
     dienow