mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 05:37:54 +00:00
tools: fix clean rule in tool_chain_rump
The clean rule is used to delete already built binaries as well as to clean-up any left-overs from previous build attempts. If there was no previous attempt just return true to prevent make from complaining. Fixes #1245.
This commit is contained in:
parent
f11b0439b2
commit
416c6579d4
@ -109,7 +109,9 @@ install: $(CONTRIB_DIR) $(BUILD_DIR)/bin/rump_server
|
||||
|
||||
clean:
|
||||
$(VERBOSE)rm -rf $(BUILD_DIR)
|
||||
$(VERBOSE)cd $(CONTRIB_DIR) && make cleanrump
|
||||
$(VERBOSE)cd $(CONTRIB_DIR) > /dev/null 2>&1 && \
|
||||
rm .compile.tag > /dev/null 2>&1 && \
|
||||
make cleanrump > /dev/null 2>&1 || true
|
||||
|
||||
cleanall: clean
|
||||
$(VERBOSE)rm -rf $(CONTRIB_DIR)
|
||||
|
Loading…
Reference in New Issue
Block a user