genode/ports/mk
Christian Prochaska 42a263b74f Noux: touch TARGET after successful installation
Make sure that the $(TARGET) file has a more recent timestamp than its
dependency after a successful installation.

Fixes #405.
2012-10-12 13:10:48 +02:00
..
noux.mk Noux: touch TARGET after successful installation 2012-10-12 13:10:48 +02:00