Changeset 477
- Timestamp:
- 07/31/08 21:49:29 (4 months ago)
- Files:
-
- trunk/hotstuff/scripts/maintenance.sh (modified) (1 diff)
- trunk/hotstuff/scripts/post-commit (added)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
trunk/hotstuff/scripts/maintenance.sh
r439 r477 1 1 #!/bin/sh 2 2 3 LOG=~/maintenance.log 3 UPDATEFILE=~/.hotstuff_needs_update 4 4 5 if [ ! -f $UPDATEFILE ]; then 6 exit 7 fi 8 rm -f $UPDATEFILE 9 10 LOG=~/logs/maintenance.log 11 12 mkdir -p ~/logs 5 13 svn up ~/directory >/dev/null 6 14
