diff options
-rw-r--r-- | common.mk | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |