From 21429fa8fdaa3e406752f8cc3d3bcf1d36f6e818 Mon Sep 17 00:00:00 2001
From: southerntofu <southerntofu@thunix.net>
Date: Fri, 17 Apr 2020 22:14:58 -0400
Subject: [PATCH] Fetch when source has changed

---
 git-build.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/git-build.sh b/git-build.sh
index 8cc9d70..fac645f 100755
--- 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