Shut up gpxe Makefiles when making spotless

gpxe Makefiles are just way too loud, especially when just cleaning up.

diff --git a/gpxe/Makefile b/gpxe/Makefile
index 2868cbc..01d0de9 100644 (file)
--- a/gpxe/Makefile
+++ b/gpxe/Makefile
@@ -26,7 +26,7 @@ clean: tidy
        rm -f $(TARGETS)
 
 dist:
-       $(MAKE) -C src veryclean
+       $(MAKE) -C src veryclean > /dev/null 2>&1
 
 spotless: clean dist