OpenGrok

5 # Update an SVN tree for a particular date.
35     echo "`date`  svn update begun for id ${ID}, rev ${REV} (fix)"
36     echo svn update --non-interactive --revision ${REV} >> $LOG
37     svn update --non-interactive --revision ${REV} >> $LOG
39       echo "`date`  svn update done"
41       echo "`date`  svn update failed"
45     echo "`date`  svn checkout begun for id ${ID}, rev ${REV}"
46     echo svn checkout --non-interactive --revision ${REV} \
48     svn checkout --non-interactive --revision ${REV} \
51       echo "`date`  svn checkout done"
53       echo "`date`  svn checkout failed"
88   echo "`date`  $0: cannot determine the SVN branch for id ${ID}"

Indexes created Thu Apr 16 00:22:31 UTC 2026