diff options
Diffstat (limited to 'tools/firmware/etherboot/Makefile')
| -rw-r--r-- | tools/firmware/etherboot/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/firmware/etherboot/Makefile b/tools/firmware/etherboot/Makefile index a195888dff..15561fc0a8 100644 --- a/tools/firmware/etherboot/Makefile +++ b/tools/firmware/etherboot/Makefile @@ -28,7 +28,7 @@ all: $(ROMS) $(MAKE) -C $D/src bin/$(*F).rom $T: - if ! wget -O _$T $(IPXE_TARBALL_URL); then \ + if ! $(FETCHER) _$T $(IPXE_TARBALL_URL); then \ $(GIT) clone $(IPXE_GIT_URL) $D.git; \ (cd $D.git && $(GIT) archive --format=tar --prefix=$D/ \ $(IPXE_GIT_TAG) | gzip >../_$T); \ |