diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2019-09-25 19:33:39 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2019-09-28 08:31:11 +0100 |
commit | ad6182343997a405079870a2fe91c4e0c6b94595 (patch) | |
tree | 4aa7483cd0ad7de54338afc8e7971417abe1dd81 /dev-lang/jsonnet/metadata.xml | |
parent | e8f81810baa21f490d6910e8e2d424546b72a333 (diff) |
gentoo resync : 25.09.2019
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> |