fix for gnuradio
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 24 Mar 2009 13:18:33 +0000 (13:18 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 24 Mar 2009 13:18:33 +0000 (13:18 +0000)
build.sh

index 41d92f5..9984e7a 100755 (executable)
--- a/build.sh
+++ b/build.sh
@@ -53,6 +53,8 @@ vstubdir=$PWD/vservers/.vstub/${slicefamily}
 
 # Make /vservers and default vserver reference image
 install -d -m 755 ${vref}
+# needed for pldistros that don't have any system vserver images
+install -d -m 755 ${vstubdir}
 
 # Some of the PlanetLab RPMs attempt to (re)start themselves in %post,
 # unless the installation is running inside the BootCD environment. We