diff options
| author | Reinier Heeres <reinier@heeres.eu> | 2007-08-04 15:55:15 (GMT) |
|---|---|---|
| committer | Reinier Heeres <reinier@heeres.eu> | 2007-08-04 15:55:15 (GMT) |
| commit | 7127a20ca3fddca59cb9859c59f2f14d6951bbbc (patch) | |
| tree | 1d3bdb2b68e985d849285bbed35cbc5f4dee2312 /update_sharedstate | |
| parent | cb3b004fcd0491a3c95a978edf81a80ef133cca7 (diff) | |
Added Makefile and script to pull in/update SharedState
Diffstat (limited to 'update_sharedstate')
| -rwxr-xr-x | update_sharedstate | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/update_sharedstate b/update_sharedstate new file mode 100755 index 0000000..7a92b09 --- /dev/null +++ b/update_sharedstate @@ -0,0 +1,11 @@ +#!/bin/sh +SSDIR=sharedstate.git +SSGIT=git://dev.laptop.org/projects/sharedstate +if [ -e ${SSDIR} ]; then + cd ${SSDIR} + git-pull ${SSGIT} + cd .. +else + git-clone ${SSGIT} ${SSDIR} + ln -s ${SSDIR}/sharedstate sharedstate +fi |