diff -r ddc976897c75 -r 2fdfe34f7262 make/Init.gmk --- a/make/Init.gmk Mon Sep 10 09:58:23 2018 +0200 +++ b/make/Init.gmk Mon Sep 10 09:59:27 2018 +0200 @@ -240,6 +240,11 @@ override BUILD_LOG_PIPE := endif + ifeq ($(filter dist-clean, $(SEQUENTIAL_TARGETS)), dist-clean) + # We can't have a log file if we're about to remove it. + override BUILD_LOG_PIPE := + endif + ifeq ($(OUTPUT_SYNC_SUPPORTED), true) OUTPUT_SYNC_FLAG := -O$(OUTPUT_SYNC) endif