mirror of
https://gitlab.freedesktop.org/NetworkManager/NetworkManager
synced 2024-10-04 15:21:12 +00:00
build: delete unsuccessfully built artifacts
We use output redirection in numerous places; leaving the half-built artifacts in place would cause the subsequent builds to succeed when it should not.
This commit is contained in:
parent
6197c27f24
commit
2198f73b0e
|
@ -4250,4 +4250,5 @@ cscope:
|
|||
|
||||
###############################################################################
|
||||
|
||||
.DELETE_ON_ERROR:
|
||||
.PHONY: cscope dist-configure-check $(check_local) $(dist_hook)
|
||||
|
|
Loading…
Reference in a new issue