From 5387770fa6d99b624c6e7a8813e8ecddfeef029c Mon Sep 17 00:00:00 2001
From: Nick <speedynutty68@gmail.com>
Date: Sat, 2 Jan 2016 17:24:38 -0800
Subject: [PATCH] Allow Jenkins to specify between dev and release builds for
 maven

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

diff --git a/build.gradle b/build.gradle
index 8069345a..bb2cd782 100644
--- a/build.gradle
+++ b/build.gradle
@@ -27,6 +27,9 @@ group = package_group
 archivesBaseName = mod_name
 version = "${mc_version}-${mod_version}-${build_number}"
 
+if (project.hasProperty('gitpush'))
+    version += "-ss"
+
 import org.ajoberstar.grgit.*
 
 ext.repo = Grgit.open(project.file('.'))