#!/bin/sh
# See the file $SATHER_HOME/Bin/PP for a desription of this file
DIR=.
CREATE_SATHER=
CREATE_NR_SATHER=
CREATE_NR_PSATHER=

. ${SATHER_HOME}/Bin/PP

for i in System Containers 
do
	echo -n "$i "
	cd $i
	./PP
	cd ..
done
echo
