Fetch when source has changed

2020-04-17 22:14:58 -04:00 · 2020-04-17 22:14:58 -04:00 · 21429fa8fd
parent 7486e872d7
commit 21429fa8fd
1 changed files with 3 additions and 0 deletions
--- a/git-build.sh
+++ b/git-build.sh
@ -17,5 +17,8 @@ for project in $BASEDIR/*.source; do
 		exit 1
 	fi
 	cd "$p_dir"
+	if ! git diff --quiet remotes/origin/HEAD; then
+		git pull
+	fi
 	GITBUILDDIR="$BASEDIR" eval "$BASEDIR/$p_name $p_name"
 done