Need to specify name of git clone directory (dunno if git has always done that, but we need that feature)

This commit is contained in:
T. Joseph Carter 2015-02-15 17:58:55 -08:00
parent 2baf39c18f
commit d1359a26af

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