mirror of
https://bitbucket.org/librepilot/librepilot.git
synced 2024-12-01 09:24:10 +01:00
build: fix openocd download/install
This is a variation on the patch that Richard attached to OP-201 to allow wget to adjust the output filename based on the 302 redirect messages from sourceforge.net's download servers. Using --trust-server-name prevents wget from saving the openocd tar file as "download" instead of the proper "openocd-0.4.0.tar.bz2" git-svn-id: svn://svn.openpilot.org/OpenPilot/trunk@2486 ebee16cc-31ac-478f-84a7-5cbb03baadba
This commit is contained in:
parent
3a755826a5
commit
c953757e06
2
Makefile
2
Makefile
@ -130,7 +130,7 @@ openocd_install: OPENOCD_URL := http://sourceforge.net/projects/openocd/files/o
|
||||
openocd_install: OPENOCD_FILE := openocd-0.4.0.tar.bz2
|
||||
openocd_install: openocd_clean $(TOOLS_DIR)
|
||||
# download the source only if it's newer than what we already have
|
||||
wget -N -P "$(DL_DIR)" "$(OPENOCD_URL)"
|
||||
wget -N -P "$(DL_DIR)" --trust-server-name "$(OPENOCD_URL)"
|
||||
|
||||
# extract the source
|
||||
[ ! -d "$(DL_DIR)/openocd-build" ] || $(RM) -r "$(DL_DIR)/openocd-build"
|
||||
|
Loading…
Reference in New Issue
Block a user