From 10c983fabeae6f2cda93404f3aa4ee814baa43f3 Mon Sep 17 00:00:00 2001
From: Daniel Hahler <git@thequod.de>
Date: Tue, 25 Jun 2019 19:51:28 +0200
Subject: [PATCH] build: Makefile: fix distclean  [ci skip] (#10336)

Do not run CMake in build before deleting it unnecessarily:

    % make distclean
    test -d build && ninja -C build clean || true
    ninja: Entering directory `build'
    [0/1] Re-running CMake...
---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 1025f08b61..3310219ea2 100644
--- a/Makefile
+++ b/Makefile
@@ -142,8 +142,9 @@ clean:
 	$(MAKE) -C src/nvim/testdir clean
 	$(MAKE) -C runtime/doc clean
 
-distclean: clean
+distclean:
 	rm -rf $(DEPS_BUILD_DIR) build
+	$(MAKE) clean
 
 install: | nvim
 	+$(BUILD_CMD) -C build install