urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-22 10:21:31 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #1126 from urbit/bump-urbit-version

Browse Source 
bump urbit version
This commit is contained in:
ixv 2019-01-10 10:44:50 -08:00 committed by GitHub
commit 87775a3cc9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
meson.build
View File

@ -236,7 +236,7 @@ endforeach
incdir = include_directories('include/') incdir = include_directories('include/')
conf_data = configuration_data() conf_data = configuration_data()
conf_data.set('URBIT_VERSION', '"0.6.0"') conf_data.set('URBIT_VERSION', '"0.7.0"')
conf_data.set('U3_MEMORY_DEBUG', get_option('gc')) conf_data.set('U3_MEMORY_DEBUG', get_option('gc'))
conf_data.set('U3_CPU_DEBUG', get_option('prof')) conf_data.set('U3_CPU_DEBUG', get_option('prof'))
conf_data.set('U3_EVENT_TIME_DEBUG', get_option('event-time')) conf_data.set('U3_EVENT_TIME_DEBUG', get_option('event-time'))