1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2024-12-14 04:00:34 +00:00

Start next branch from 0.0.10

This commit is contained in:
Carles Fernandez 2018-12-14 19:41:13 +01:00
parent 31c6b6bc1d
commit b6f0c92fd6
No known key found for this signature in database
GPG Key ID: 4C583C52B0C3877D

View File

@ -94,7 +94,7 @@ endif()
############################### ###############################
# GNSS-SDR version information # GNSS-SDR version information
############################### ###############################
set(THIS_IS_A_RELEASE ON) # only related to version name, no further implications. set(THIS_IS_A_RELEASE OFF) # only related to version name, no further implications.
if(NOT ${THIS_IS_A_RELEASE}) if(NOT ${THIS_IS_A_RELEASE})
# Get the current working branch # Get the current working branch
execute_process( execute_process(