denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
82eb0e9f9a46cbdf1d84fda8fcdc633de81abeae
genode/ports/mk
History
Christian Prochaska 47690b8802 Noux: make install target configurable 
With this patch the make install target for Noux applications gets defined
in the 'NOUX_INSTALL_TARGET' make variable with 'install-strip' as default.

Fixes #503.
2012-11-22 09:21:53 +01:00
..
noux.mk
Noux: make install target configurable
2012-11-22 09:21:53 +01:00