public
Description: A bunch of random scripts I've either written, downloaded or clipped from #git.
Homepage:
Clone URL: git://github.com/jwiegley/git-scripts.git
git-scripts / git-build
100755 27 lines (17 sloc) 0.469 kb
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
#!/bin/bash
 
git clean -f -x -d
git checkout $1
 
rm -fr /usr/local/stow/git-$1
 
make prefix=/usr/local/stow/git-$1 -j3 install
 
git checkout origin/man
 
rsync -av man1/ /usr/local/stow/git-$1/share/man/man1/
rsync -av man5/ /usr/local/stow/git-$1/share/man/man5/
rsync -av man7/ /usr/local/stow/git-$1/share/man/man7/
 
git clean -f -x -d
git checkout master
chown -R johnw .
 
git reset --hard HEAD
git merge origin/master
 
cd /usr/local/stow
stow -D git-*
 
stow git-$1