pass extra buildxen parameters to buildrump.sh

e.g. ./buildxen.sh -q -- -V BUILDRUMP_VARIABLE=12765

diff --git a/buildxen.sh b/buildxen.sh
index 76eab3bbc19a5160ff2e56527334010f850d2bdb..92f33b183916376de294654a1ecad0b832cc3728 100755 (executable)
--- a/buildxen.sh
+++ b/buildxen.sh
@@ -35,7 +35,7 @@ fi
 # build tools
 ./buildrump.sh/buildrump.sh ${BUILDXEN_QUIET} ${STDJ} -k \
     -V MKPIC=no -s ${RUMPSRC} -T rumptools -o rumpobj -N \
-    -V RUMP_KERNEL_IS_LIBC=1 tools
+    -V RUMP_KERNEL_IS_LIBC=1 "$@" tools
 
 # set some special variables.
 cat >> rumptools/mk.conf << EOF
@@ -53,7 +53,7 @@ RUMPMAKE=$(pwd)/rumptools/rumpmake
 # build rump kernel
 ./buildrump.sh/buildrump.sh ${BUILDXEN_QUIET} ${STDJ} -k \
     -V MKPIC=no -s ${RUMPSRC} -T rumptools -o rumpobj -N \
-    -V RUPM_KERNEL_IS_LIBC=1 build kernelheaders install
+    -V RUPM_KERNEL_IS_LIBC=1 "$@" build kernelheaders install
 
 LIBS="$(stdlibs ${RUMPSRC})"
 usermtree rump