# HG changeset patch # User "Yann E. MORIN" # Date 1256928591 -3600 # Node ID 9614ef1593c892714a190c989944313584ddc3c2 # Parent 01d01185eb18b297abc9cf7972ce635cf527f871 scripts: fix updating config.{sub,guess} (transplanted from 7f52e1cca71eecc6a46ad1905afea42a5c8f0a68) diff -r 01d01185eb18 -r 9614ef1593c8 ct-ng.in --- a/ct-ng.in Wed Oct 28 12:03:38 2009 +0100 +++ b/ct-ng.in Fri Oct 30 19:49:51 2009 +0100 @@ -56,10 +56,11 @@ endif # origin V export V SILENT ECHO -.FORCE: $(FORCE) +all: help + .PHONY: $(PHONY) PHONY += all -all: help +FORCE: # Help system help:: help-head help-config help-samples help-build help-clean help-distrib help-env help-tail diff -r 01d01185eb18 -r 9614ef1593c8 samples/samples.mk --- a/samples/samples.mk Wed Oct 28 12:03:38 2009 +0100 +++ b/samples/samples.mk Fri Oct 30 19:49:51 2009 +0100 @@ -38,7 +38,7 @@ # print the list of all available samples PHONY += list-samples -list-samples: .FORCE +list-samples: FORCE @echo $(CT_SAMPLES) |$(sed) -r -e 's/ /\n/g;' |sort wiki-samples: diff -r 01d01185eb18 -r 9614ef1593c8 scripts/scripts.mk --- a/scripts/scripts.mk Wed Oct 28 12:03:38 2009 +0100 +++ b/scripts/scripts.mk Fri Oct 30 19:49:51 2009 +0100 @@ -35,14 +35,12 @@ scripts: $(SILENT)mkdir -p scripts -FROCE += $(CONFIG_SUB_DEST) -$(CONFIG_SUB_DEST): scripts +$(CONFIG_SUB_DEST): scripts FORCE @$(ECHO) ' WGET $@' $(SILENT)wget $(wget_opt) -O $@ $(CONFIG_SUB_SRC) $(SILENT)chmod u+rwx,go+rx-w $@ -FORCE += $(CONFIG_GUESS_DEST) -$(CONFIG_GUESS_DEST): scripts +$(CONFIG_GUESS_DEST): scripts FORCE @$(ECHO) ' WGET $@' $(SILENT)wget $(wget_opt) -O $@ $(CONFIG_GUESS_SRC) $(SILENT)chmod u+rwx,go+rx-w $@