skip build if there are no source changes

1 files changed, 4 insertions, 0 deletions

diff --git a/build-snapshots b/build-snapshots
index 756dd50..add057c 100755
--- a/build-snapshots
+++ b/build-snapshots
@@ -10,6 +10,10 @@ repo_update() {
     git checkout upstream
     git merge upstream/master
     git checkout master
+    if [ -z "$(git log master..upstream)" ] ; then
+        echo 'No source changes => skipping build'
+        return 1
+    fi
     git tag -f pre-merge master
     git merge upstream
 }