diff options
Diffstat (limited to 'profiles/use.local.desc')
| -rw-r--r-- | profiles/use.local.desc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/profiles/use.local.desc b/profiles/use.local.desc index 853c54dbebac..8bdd344074b5 100644 --- a/profiles/use.local.desc +++ b/profiles/use.local.desc @@ -1318,7 +1318,6 @@ dev-ada/gpr-unit-provider:shared - Build shared library dev-ada/gpr-unit-provider:static-pic - Build static library with pic code dev-ada/gtkada:shared - Build gtkada as shared library dev-ada/gtkada:static-pic - Build static library with pic code -dev-ada/lal-refactor:shared - Build shared library dev-ada/lal-refactor:static-pic - Build static library with pic code dev-ada/langkit:shared - Build shared library dev-ada/langkit:static-pic - Build static library with pic code |