From f225c4773ae5785b33d3fb670b5ac314a5802a90 Mon Sep 17 00:00:00 2001
From: Thad House <ThadHouse@users.noreply.github.com>
Date: Mon, 2 Jan 2017 17:23:11 -0800
Subject: [PATCH] Fixes gradle publish with no flags. (#35)

---
 publish.gradle | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/publish.gradle b/publish.gradle
index 28e06642bc..007a691306 100644
--- a/publish.gradle
+++ b/publish.gradle
@@ -32,6 +32,12 @@ if (project.buildArm) {
     project(':arm').build.dependsOn outputVersions
 }
 
+if (!hasProperty('releaseType')) {
+    WPILibVersion {
+        releaseType = 'dev'
+    }
+}
+
 // We change what repo we publish to depending on whether this is a development, beta, stable, or full
 // release. This is set up in the main gradle file.
 publishing {