1 files changed, 1 insertions, 1 deletions

diff --git a/common.mk b/common.mk
index 160df019af..4b16999587 100644
--- a/common.mk
+++ b/common.mk
@@ -509,7 +509,7 @@ clean-capi distclean-capi realclean-capi:
 
 clean-platform:
 	$(Q) $(RM) $(PLATFORM_D)
-	-$(Q) $(RMDIR) $(PLATFORM_DIR) 2> /dev/null || exit 0
+	-$(Q) $(RMDIR) $(PLATFORM_DIR) 2> $(NULL) || exit 0
 
 check: main test test-all
 	$(ECHO) check succeeded