On Tue, Feb 1, 2011 at 18:31, Richard Guenther <richard.guent...@gmail.com> wrote: > > The DATESTAMP change could also be in a post-commit hook (doing > nothing if the date didn't change, of course). No idea whether this > is technically possible of course. > > Richard. >
Yes, the post-commit hook can do this task. If we really want to do that, I can update the current post-commit hook script [1]. *) Get DATESTAMP for the current branch in the repository, e.g. $ svn cat svn://gcc.gnu.org/svn/gcc/trunk/gcc/DATESTAMP 20110201 $ svn cat svn://gcc.gnu.org/svn/gcc/branches/gcc-4_5-branch/gcc/DATESTAMP 20110201 ... *) Get the current DATESTAMP $ /bin/date +"%Y%m%d" 20110201 *) If the two DATESTAMP is equal, do nothing; otherwise update the DATESTAMP in the repository. [1] svn://gcc.gnu.org/svn/gcc/hooks/post-commit -- Dongsheng
