1.1 --- a/scripts/scripts.mk	Tue Dec 16 18:12:34 2008 +0000
     1.2 +++ b/scripts/scripts.mk	Fri Oct 30 19:49:51 2009 +0100
     1.3 @@ -35,14 +35,12 @@
     1.4  scripts:
     1.5  	$(SILENT)mkdir -p scripts
     1.6  
     1.7 -FROCE += $(CONFIG_SUB_DEST)
     1.8 -$(CONFIG_SUB_DEST): scripts
     1.9 +$(CONFIG_SUB_DEST): scripts FORCE
    1.10  	@$(ECHO) '  WGET  $@'
    1.11  	$(SILENT)wget $(wget_opt) -O $@ $(CONFIG_SUB_SRC)
    1.12  	$(SILENT)chmod u+rwx,go+rx-w $@
    1.13  
    1.14 -FORCE += $(CONFIG_GUESS_DEST)
    1.15 -$(CONFIG_GUESS_DEST): scripts
    1.16 +$(CONFIG_GUESS_DEST): scripts FORCE
    1.17  	@$(ECHO) '  WGET  $@'
    1.18  	$(SILENT)wget $(wget_opt) -O $@ $(CONFIG_GUESS_SRC)
    1.19  	$(SILENT)chmod u+rwx,go+rx-w $@