Fix paths

diff --git a/script b/script
index 021dff57f880b162936fa2fe2cb24c4f125a55a9..e3b1efd604cf418908a0859960c962639b3b1482 100755 (executable)
--- a/script
+++ b/script
@@ -34,16 +34,16 @@ dirx () {
 
 stdconfigure () {
         dirx env PKG_CONFIG=/local/scratch/Rump-kernels/rump-build-script-junk/pkg-config \
-                ../rumpuser-xen/app-tools/rumpapp-xen-configure ./configure \
+                /local/scratch/Rump-kernels/rumpuser-xen/app-tools/rumpapp-xen-configure ./configure \
                 --prefix=/local/scratch/Rump-kernels/prefix --disable-shared
 }
 
 stdmake () {
-        dirx ../rumpuser-xen/app-tools/rumpapp-xen-make -j4
+        dirx /local/scratch/Rump-kernels/rumpuser-xen/app-tools/rumpapp-xen-make -j4
 }
 
 stdmakeinstall () {
-        dirx ../rumpuser-xen/app-tools/rumpapp-xen-make install
+        dirx /local/scratch/Rump-kernels/rumpuser-xen/app-tools/rumpapp-xen-make install
 }
 
 want () {