diff options
-rw-r--r-- | gpxe/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gpxe/Makefile b/gpxe/Makefile index 2868cbc2..01d0de95 100644 --- 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 |