genode/repos/ports/mk
Norman Feske f148388227 ports: hook to filter content of noux install
The new variable 'INSTALL_TAR_CONTENT' allows one to customize the
content of the generated tar archive instead of including the entire
install directory.
2017-12-21 15:01:49 +01:00
..
gnu_build.mk ports: hook to filter content of noux install 2017-12-21 15:01:49 +01:00
noux.mk noux: install tar archive as build result 2017-05-31 13:16:15 +02:00