diff options
Diffstat (limited to 'dev-lang/jsonnet/metadata.xml')
| -rw-r--r-- | dev-lang/jsonnet/metadata.xml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/dev-lang/jsonnet/metadata.xml b/dev-lang/jsonnet/metadata.xml index 9c2644baf918..6a3ebc349696 100644 --- a/dev-lang/jsonnet/metadata.xml +++ b/dev-lang/jsonnet/metadata.xml @@ -12,4 +12,8 @@ <upstream> <remote-id type="github">google/jsonnet</remote-id> </upstream> + <use> + <flag name="custom-optimization">Build with user-specified compiler optimizations + (-Os, -O0, -O1, -O2, -O3) from CFLAGS (unsupported)</flag> + </use> </pkgmetadata> |