summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorrubenwardy <rw@rubenwardy.com>2017-09-09 20:33:28 +0100
committerrubenwardy <rw@rubenwardy.com>2017-09-09 20:42:23 +0100
commit41b7823057bdaddd760f932dce802719301c3a0f (patch)
tree1d3e9162d07a86f64cf206b4aebb5cc043b4517f
parent7968f1ddaa67432719d5becdda5ca8bec58faa47 (diff)
downloadminetest-41b7823057bdaddd760f932dce802719301c3a0f.tar.gz
minetest-41b7823057bdaddd760f932dce802719301c3a0f.tar.bz2
minetest-41b7823057bdaddd760f932dce802719301c3a0f.zip
Fix branch being labelled as 0.4.17 instead of 0.4.17-dev
You should use tags instead of this branch to track the latest release
-rw-r--r--CMakeLists.txt2
1 files changed, 1 insertions, 1 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt
index c64ac897b..9f0fda614 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -17,7 +17,7 @@ set(VERSION_PATCH 17)
set(VERSION_EXTRA "" CACHE STRING "Stuff to append to version string")
# Change to false for releases
-set(DEVELOPMENT_BUILD FALSE)
+set(DEVELOPMENT_BUILD TRUE)
set(VERSION_STRING "${VERSION_MAJOR}.${VERSION_MINOR}.${VERSION_PATCH}")
if(VERSION_EXTRA)