diff -r 29ebc048d33f -r 7f52e1cca71e scripts/scripts.mk
--- a/scripts/scripts.mk	Tue Dec 16 18:12:34 2008 +0000
+++ 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 $@