Commit 4287a4b2 authored by Milo Yip's avatar Milo Yip

Use wget instead of curl

parent 2e8f7e95
......@@ -47,7 +47,7 @@ after_success:
# Install doxygen binary distribution
- if [ "$config" = "release64" -a "$CC" = "clang" ]; then cd /tmp; fi
- if [ "$config" = "release64" -a "$CC" = "clang" ]; then curl http://ftp.stack.nl/pub/users/dimitri/doxygen-1.8.7.linux.bin.tar.gz; fi
- if [ "$config" = "release64" -a "$CC" = "clang" ]; then wget http://ftp.stack.nl/pub/users/dimitri/doxygen-1.8.7.linux.bin.tar.gz; fi
- if [ "$config" = "release64" -a "$CC" = "clang" ]; then tar -xvf doxygen-1.8.7.linux.bin.tar.gz; fi
- if [ "$config" = "release64" -a "$CC" = "clang" ]; then cd doxygen-1.8.7; fi
- if [ "$config" = "release64" -a "$CC" = "clang" ]; then sudo install -m 755 doxygen-1.8.7/bin/doxygen /usr/bin; fi
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment