[backport] -d:danger should imply -d:release (#13336)

This commit is contained in:
Miran 2020-02-05 13:41:16 +01:00 • committed by GitHub
commit c6d5f0df8d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 14 additions and 0 deletions

View file

@ -76,6 +76,7 @@ path="$lib/pure"
debugger:off
line_dir:off
opt:speed
define:release
@end
@if false: # not danger: # this does not work yet.