diff options
author | madmonkey <madfkingmonkey@gmail.com> | 2017-01-10 03:09:14 +0300 |
---|---|---|
committer | madmonkey <madfkingmonkey@gmail.com> | 2017-01-10 03:09:14 +0300 |
commit | 4bd4633106ce9add16fcf6ca2887423eacb615cf (patch) | |
tree | 68bda9a0a5b950f439fb4d76eef6ae36a3a635af | |
parent | d197e8168d1ae77e5c05ab5faa5e22c6c7febec8 (diff) |
avoid pounding busybox servers
-rw-r--r-- | Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -7,25 +7,25 @@ clean: @make -C 3rdparty/mkbootimg clean bin/sunxi-fel: 3rdparty/sunxi-tools/sunxi-fel - @cp $< bin/ + @cp $< $@ 3rdparty/sunxi-tools/sunxi-fel: 3rdparty/sunxi-tools/fel.c @make -C 3rdparty/sunxi-tools sunxi-fel bin/mkbootimg: 3rdparty/mkbootimg/mkbootimg - @cp $< bin/ + @cp $< $@ 3rdparty/mkbootimg/mkbootimg: 3rdparty/mkbootimg/mkbootimg.c @make -C 3rdparty/mkbootimg bin/unpackbootimg: 3rdparty/mkbootimg/unpackbootimg - @cp $< bin/ + @cp $< $@ 3rdparty/mkbootimg/unpackbootimg: 3rdparty/mkbootimg/unpackbootimg.c @make -C 3rdparty/mkbootimg mod/bin/busybox: 3rdparty/busybox.url - wget --no-use-server-timestamps $(shell cat $<) -O $@ && chmod +x $@ && upx -qq --best $@ + @if [ ! -f $@ ]; then wget --no-use-server-timestamps $(shell cat $<) -O $@ && chmod +x $@ && upx -qq --best $@; else touch $@; fi build/hakchi-gui: build/Makefile hakchi-gui/src/* @make -C build |