mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 13:47:56 +00:00
okl4: remove tools of okl4 during make clean
This commit is contained in:
parent
4c382d85b2
commit
def14f327d
@ -16,3 +16,6 @@ LD_SCRIPT_STATIC = $(REP_DIR)/contrib/generated/x86/linker.ld
|
||||
$(TARGET): dummy.c
|
||||
dummy.c:
|
||||
@touch $@
|
||||
|
||||
clean:
|
||||
$(VERBOSE)rm -rf $(BUILD_BASE_DIR)/tool/okl4
|
||||
|
Loading…
Reference in New Issue
Block a user