update libxc build rune

diff --git a/script b/script
index e9756bb2c390e582996965bd1baba74c58898f79..5f52d34b54b852233798018eb727bf2d6b1f9257 100755 (executable)
--- a/script
+++ b/script
@@ -101,12 +101,14 @@ dirx /local/scratch/Rump-kernels/rumprun/app-tools/rumprun-xen-make -j4 CPPFLAGS
 stdmakeinstall
 
 
-
 #  build libxc and libxenstore
-setdir /local/scratch/Rump-kernels/xen.git/tools
+# run ./configure in toplevel to workaround a bug in Xen's build system
+# that Paths.mk doesn't get generate if only ./configure in tools
+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
+setdir /local/scratch/Rump-kernels/xen.git/tools
 dirx /local/scratch/Rump-kernels/rumprun/app-tools/rumprun-xen-make -j4 CPPFLAGS="-U__SSE2__"
 stdmakeinstall