4 # This script is used to check the sync of the local repo
5 # with the remote planetlab repository
7 tmpfile=/tmp/chech_planetlab_sync.tmp
9 # check for local copy sync
10 svn diff > /tmp/chech_planetlab_sync.tmp
11 if [ -s $tmpfile ] ; then
12 echo "Local repo unsynced, can not continue"
18 svn --force export http://svn.planet-lab.org/svn/ipfw/trunk ./ >> /dev/null
20 # check diffs again, output to the user
22 svn status | grep -v check_planetlab_sync