1.1 --- a/scripts/scripts.mk Tue Dec 16 18:12:34 2008 +0000
1.2 +++ b/scripts/scripts.mk Thu Dec 10 15:09:13 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 $@