mirror of
https://github.com/torvalds/linux.git
synced 2024-11-16 00:52:01 +00:00
19d111ccce
I guess
|| (rm -f $@ && echo false)
... should be
|| (rm -f $@ && false)
In fact, no Makefile needs to delete a target explicitly on error.
It is automatically done since commit
|
||
---|---|---|
.. | ||
dts | ||
.gitignore | ||
Makefile |