updated git_repos_update.sh

pull/2/head
Hari Sekhon 5 years ago
parent 8e312868db
commit 9bed3060fe

@ -54,7 +54,7 @@ run(){
if [ -d "$repo_dir" ]; then
pushd "$repo_dir"
# make update does git pull but if that mechanism is broken then this first git pull will allow the repo to self-fix itself
git pull
git pull --no-edit
if [ -n "${QUICK:-}" ] ||
[ -n "${NOBUILD:-}" ] ||
[ -n "${NO_BUILD:-}" ]; then

Loading…
Cancel
Save