[#113616255] publish new version only if version number has changed i…

…n redpen.php
redpen-cc · Feb 12, 2016 · a729c74 · a729c74
1 parent 9fed9c1
commit a729c74
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/publish.sh b/publish.sh
@@ -22,6 +22,11 @@ else
   svn update
 fi
 
+if ! svn diff redpen.php | fgrep "+Version: "; then
+  echo "Version haven't changed, not publishing to $SVN_REPO"
+  exit 0
+fi
+
 GIT_REV=`git rev-parse --short HEAD`
 UNTRACKED_IN_SVN=`svn status | grep '^\?' | sed 's/^\?       //'`