Fix cleaning up

Former-commit-id: edaec684

build-all.sh

@@ -20,6 +20,9 @@ mkdir -p $ZEST_RUNTIME/bin
 mkdir -p $ZEST_RUNTIME/sbin
 
 if [ ! -f manifest.txt.config ]; then
+	if [ ! -d "$PS_INSTALL" ]; then
+		mkdir "$PS_INSTALL"
+	fi
 	$PEDI_HOME/pedi --setup -m manifest.txt -l ida -l ida_key -l ps -l zipr -l stratafier -l stars -i $PS_INSTALL
 fi
 

clean-all.sh

@@ -59,5 +59,13 @@ if [ -d $ZIPR_HOME ]; then
 	scons -c || exit
 fi
 
+
 cd $PEASOUP_UMBRELLA_DIR
 
+# clean up installation
+$PEDI_HOME/pedi -c -m manifest.txt
+if [ -d "$PS_INSTALL" ]; then
+	echo "removing $PS_INSTALL"
+	rm -fr "$PS_INSTALL"
+fi
+