mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-20 09:46:20 +00:00
This patch equips the build system with the feature of building an individual library with its dependencies by specifying the library as 'LIB' argument. E.g., 'make LIB=libc' builds the libc.