build: deprecate developer=auto; default to false

This commit is contained in:
Andrei Alexeyev 2022-12-14 02:37:55 +01:00
parent 807240e508
commit 9a4ef8c091
No known key found for this signature in database
GPG key ID: 72D26128040B9690

View file

@ -2,7 +2,9 @@
option(
'developer',
type : 'combo',
choices : ['auto', 'true', 'false'],
choices : ['true', 'false', 'auto'],
value : 'false',
deprecated : ['auto'],
description : 'Make a "developer" build with cheats and extra debugging features'
)