forked from github/server
remove discontinued submodules if they are checked out
This commit is contained in:
parent
75422e1ba6
commit
0de30cd376
2 changed files with 2 additions and 0 deletions
1
s/build
1
s/build
|
@ -33,6 +33,7 @@ if [ ! -d $ROOT/$BUILD ]; then
|
|||
exit
|
||||
fi
|
||||
|
||||
rm -rf crypto tolua
|
||||
git submodule update
|
||||
|
||||
echo "build eressea"
|
||||
|
|
|
@ -22,6 +22,7 @@ exit $2 # otherwise
|
|||
function build() {
|
||||
assert_dir $SOURCE
|
||||
cd $SOURCE
|
||||
rm -rf crypto tolua
|
||||
git fetch || abort "failed to update source. do you have local changes?"
|
||||
[ -z $1 ] || git checkout $1
|
||||
git pull
|
||||
|
|
Loading…
Reference in a new issue