script update

diff --git a/script b/script
index 5e66dc10c720abb457ccbc7247f81debed19fb94..13e96132d3480dd6f336df87c4e6c88d0ac86997 100755 (executable)
--- a/script
+++ b/script
@@ -96,6 +96,6 @@ stdmakeinstall
 gettar pixman-0.32.6 http://cairographics.org/releases/pixman-0.32.6.tar.gz
 dirx env PKG_CONFIG=/local/scratch/Rump-kernels/rump-build-script-junk/pkg-config \
        /local/scratch/Rump-kernels/rumpuser-xen/app-tools/rumprun-xen-configure ./configure \
-       --prefix=/local/scratch/Rump-kernels/prefix --disable-shared
+       --prefix=/local/scratch/Rump-kernels/prefix --disable-shared --enable-static
 dirx /local/scratch/Rump-kernels/rumpuser-xen/app-tools/rumprun-xen-make -j4 CPPFLAGS="-U__SSE2__"
 stdmakeinstall