mirror of
https://github.com/minetest/minetest.git
synced 2024-11-26 09:33:45 +01:00
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
This commit is contained in:
parent
7968f1ddaa
commit
41b7823057
@ -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)
|
||||
|
Loading…
Reference in New Issue
Block a user