commit | c967ba3b389ff9c866aebffd324db83c4a9d7026 | [log] [tgz] |
---|---|---|
author | David Brazdil <dbrazdil@google.com> | Mon Jul 27 09:59:27 2020 +0000 |
committer | David Brazdil <dbrazdil@google.com> | Mon Jul 27 10:02:43 2020 +0000 |
tree | 69833a673ebc85cf07782000e1c76e4791eeeb4e | |
parent | f770f603f5cc17cc662f24220a7441523575a3e3 [diff] |
Remove redundant clean of Linux The 'clean' target performs a subset of operations of the 'mrproper' target. Calling 'clean' before 'mrproper' is therefore redundant. Change-Id: Id600c99d7b5d9546578c7e5f40c375b187706dc5
diff --git a/Makefile b/Makefile index d66164b..a1f3aa4 100644 --- a/Makefile +++ b/Makefile
@@ -172,7 +172,6 @@ .PHONY: linux_clean linux_clean: - + $(LINUX_MAKE) clean + $(LINUX_MAKE) mrproper