2020-07-02 16:43:25 +01:00
|
|
|
option('enable_tests', type : 'boolean', value : false)
|
|
|
|
|
option('enable_extras', type : 'boolean', value : false)
|
2020-07-17 11:53:36 +01:00
|
|
|
option('enable_standalone_d3d12', type : 'boolean', value : false)
|
|
|
|
|
option('enable_profiling', type : 'boolean', value : false)
|
