From 66a02a5fcad3c22f94d7aa9bb1047737c3f885fe Mon Sep 17 00:00:00 2001
From: Lorenz Meier <lm@inf.ethz.ch>
Date: Sun, 8 Feb 2015 11:09:48 +0100
Subject: Fix echo output of Makefile

---
 Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index d5ece137b..7c8fa7a4f 100644
--- a/Makefile
+++ b/Makefile
@@ -303,9 +303,9 @@ clean:
 .PHONY:	distclean
 distclean: cleannuttxpatches clean
 	@echo > /dev/null
-	$(Q) $(REMOVE) $(ARCHIVE_DIR)*.export > /dev/null
-	$(Q) $(MAKE) -C $(NUTTX_SRC) -r $(MQUIET) distclean > /dev/null
-	$(Q) (cd $(NUTTX_SRC)/configs && $(FIND) . -maxdepth 1 -type l -delete) > /dev/null
+	$(Q) $(REMOVE) $(ARCHIVE_DIR)*.export
+	$(Q) $(MAKE) -C $(NUTTX_SRC) -r $(MQUIET) distclean
+	$(Q) (cd $(NUTTX_SRC)/configs && $(FIND) . -maxdepth 1 -type l -delete)
 
 #
 # Print some help text
-- 
cgit v1.2.3