update xen-rune to use -j16

diff --git a/xen-rune b/xen-rune
index 00ad0a2909c3515b06312174c1b2e551f5755404..db388cac5882851e9c005b27a8b76ccc891f93fa 100755 (executable)
--- a/xen-rune
+++ b/xen-rune
@@ -1,4 +1,4 @@
 PKG_CONFIG=/local/scratch/Rump-kernels/rump-build-script-junk/pkg-config \
        /local/scratch/Rump-kernels/rumpuser-xen/app-tools/rumpapp-xen-configure ./configure \
-       --prefix=/local/scratch/Rump-kernels/prefix
-/local/scratch/Rump-kernels/rumpuser-xen/app-tools/rumpapp-xen-make -j4
+       --prefix=/local/scratch/Rump-kernels/prefix --disable-stubodm --disable-docs
+/local/scratch/Rump-kernels/rumpuser-xen/app-tools/rumpapp-xen-make -j16