diff options
Diffstat (limited to 'dev-ada/gnat_util/metadata.xml')
| -rw-r--r-- | dev-ada/gnat_util/metadata.xml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/dev-ada/gnat_util/metadata.xml b/dev-ada/gnat_util/metadata.xml index 22a3c1f31fe6..031651ccbbdc 100644 --- a/dev-ada/gnat_util/metadata.xml +++ b/dev-ada/gnat_util/metadata.xml @@ -9,7 +9,6 @@ <flag name="gnat_2016">Compile with dev-lang/gnat-gpl-2016</flag> <flag name="gnat_2017">Compile with dev-lang/gnat-gpl-2017</flag> <flag name="shared">Build gnat_util shared library</flag> - <flag name="static">Build gnat_util static library</flag> <flag name="static-pic">Build gnat_util static library with pic code</flag> </use> <longdescription lang="en"> |