From 99fee912a3f6c6ce34d9319b349872f6be71c73b Mon Sep 17 00:00:00 2001
From: Chris Kearney <chris@kearneymail.com>
Date: Sat, 13 May 2017 22:22:04 -0700
Subject: [PATCH] rebuild if necessary
---
rebuild_if_needed.sh | 29 +++++++++++++++++++++++++++++
1 file changed, 29 insertions(+)
create mode 100755 rebuild_if_needed.sh
diff --git a/rebuild_if_needed.sh b/rebuild_if_needed.sh
new file mode 100755
index 00000000..ff8811e3
--- /dev/null
+++ b/rebuild_if_needed.sh
@@ -0,0 +1,29 @@
+#!/bin/sh
+
+git remote update > /dev/null 2>&1
+
+needsUpdate () {
+ UPSTREAM=${1:-'@{u}'}
+ LOCAL=$(git rev-parse @)
+ REMOTE=$(git rev-parse "$UPSTREAM")
+ BASE=$(git merge-base @ "$UPSTREAM")
+
+ if [ $LOCAL = $REMOTE ]; then
+ return 1
+ #echo "Up-to-date"
+ elif [ $LOCAL = $BASE ]; then
+ return 0
+ #echo "Need to pull"
+ #elif [ $REMOTE = $BASE ]; then
+ #echo "Need to push"
+ #else
+ #echo "Diverged"
+ fi
+ return 1
+}
+
+if needsUpdate; then
+ git pull ; mvn clean install
+else
+ echo "No rebuild is needed."
+fi
--
GitLab