From 5eb4475bab76e81fd0119332d761b185a35944a5 Mon Sep 17 00:00:00 2001 From: Rob Landley Date: Sat, 7 Feb 2015 17:19:38 -0600 Subject: Clean up the output of "make change". --- Makefile | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 8d83913c..2c9a857f 100644 --- a/Makefile +++ b/Makefile @@ -45,12 +45,14 @@ uninstall_flat: generated/instlist uninstall: scripts/install.sh --long --uninstall -change: generated/instlist +change: + @NOBUILD=1 scripts/make.sh > /dev/null&& \ + $(HOSTCC) -I . scripts/install.c -o generated/instlist && \ export PREFIX=$${PREFIX:-change/} && \ mkdir -p "$$PREFIX" && \ for i in $$(generated/instlist); \ - do echo make $$i && \ - scripts/single.sh $$i || touch $$PREFIX/$${i}.bad; \ + do echo -n "$$i " && \ + scripts/single.sh $$i > /dev/null || touch $$PREFIX/$${i}.bad; \ done clean:: -- cgit v1.2.3