# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1256928591 -3600
# Node ID 7f52e1cca71eecc6a46ad1905afea42a5c8f0a68
# Parent  7d70bcf940a9fac57c9cc356fe8c30d9e46d87a6
scripts: fix updating config.{sub,guess}

diff -r 7d70bcf940a9 -r 7f52e1cca71e ct-ng.in
--- a/ct-ng.in	Thu Oct 29 00:10:06 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 7d70bcf940a9 -r 7f52e1cca71e samples/samples.mk
--- a/samples/samples.mk	Thu Oct 29 00:10:06 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 7d70bcf940a9 -r 7f52e1cca71e scripts/scripts.mk
--- a/scripts/scripts.mk	Thu Oct 29 00:10:06 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 $@