Merge pull request #180 from iKarith/master

Need to specify name of git clone directory (dunno if git has always done that, but we need the feature and have always assumed it works)
This commit is contained in:
Twinaphex 2015-02-16 06:21:38 +01:00
commit a9bda03302

View File

@ -27,8 +27,7 @@ fetch_git() {
echo_cmd git pull echo_cmd git pull
[ -n "$5" ] && echo_cmd git submodule foreach git pull origin master [ -n "$5" ] && echo_cmd git submodule foreach git pull origin master
else else
echo_cmd cd "$WORKDIR" echo_cmd git clone "$1" "$WORKDIR/$2"
echo_cmd git clone "$1"
if [ -n "$4" ]; then if [ -n "$4" ]; then
echo_cmd cd "$fetch_dir" echo_cmd cd "$fetch_dir"
echo_cmd git submodule update --init echo_cmd git submodule update --init