#!/bin/sh . ./etc.rc echo Source from $EIFFEL_SRC svn update $EIFFEL_SRC