update script

diff --git a/script b/script
index 5f52d34b54b852233798018eb727bf2d6b1f9257..385f839b28c140ab7764364235d09edb529becd2 100755 (executable)
--- a/script
+++ b/script
@@ -107,9 +107,11 @@ stdmakeinstall
 setdir /local/scratch/Rump-kernels/xen.git
 dirx env PKG_CONFIG=/local/scratch/Rump-kernels/rump-build-script-junk/pkg-config \
                /local/scratch/Rump-kernels/rumprun/app-tools/rumprun-xen-configure ./configure \
-               --prefix=/local/scratch/Rump-kernels/prefix
+               --prefix=/local/scratch/Rump-kernels/prefix \
+               --with-xen-dumpdir=/local/scratch/Rump-kernels/prefix/var/lib/xen/dump
 setdir /local/scratch/Rump-kernels/xen.git/tools
-dirx /local/scratch/Rump-kernels/rumprun/app-tools/rumprun-xen-make -j4 CPPFLAGS="-U__SSE2__"
+dirx env PKG_CONFIG=/local/scratch/Rump-kernels/rump-build-script-junk/pkg-config \
+       make V=1 CC=/local/scratch/Rump-kernels/rumprun/app-tools/rumprun-xen-cc -j4 CPPFLAGS="-U__SSE2__"
 stdmakeinstall
 
 # build qemu