#!/bin/bash


function scm_update {
        tmpname=$1
        if [ -d "$tmpname" ]
           then
                echo Update $1
                svn update $tmpname
           else
                echo Checkout $1
                svn checkout https://svn.eiffel.com/eiffelstudio/trunk/Src/$tmpname $tmpname
        fi
        echo
}

cd src

scm_update library
scm_update unstable
scm_update contrib
scm_update framework
scm_update web
scm_update tools