changeset 1679:ce1d240b8ec8

Clean up the output of "make change".
author Rob Landley <rob@landley.net>
date Sat, 07 Feb 2015 17:19:38 -0600
parents 4a6a53da1c53
children 543bee60af4c
files Makefile
diffstat 1 files changed, 5 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/Makefile	Sat Feb 07 16:23:59 2015 -0600
+++ b/Makefile	Sat Feb 07 17:19:38 2015 -0600
@@ -45,12 +45,14 @@
 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::