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