mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-23 15:32:25 +00:00
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.
This commit is contained in:
parent
8b0ad007ca
commit
42a263b74f
@ -182,6 +182,7 @@ noux_installed.tag: noux_built.tag
|
||||
@touch $@
|
||||
|
||||
$(TARGET): noux_installed.tag
|
||||
@touch $@
|
||||
|
||||
#
|
||||
# The clean rule is expected to be executed within the 3rd-party build
|
||||
|
Loading…
Reference in New Issue
Block a user