diff options
| author | Felix Fietkau <nbd@nbd.name> | 2018-02-22 17:26:41 +0100 |
|---|---|---|
| committer | Felix Fietkau <nbd@nbd.name> | 2019-08-12 11:43:38 +0200 |
| commit | 6fa0e07758524eddf20c9b66dfcb55c490e1961e (patch) | |
| tree | f5b77016f74c1f0bd9edb91a662afcb30e518d36 /toolchain/Makefile | |
| parent | 200f2666fb1c8d9d128824dc5586e0e66386971f (diff) | |
| download | upstream-6fa0e07758524eddf20c9b66dfcb55c490e1961e.tar.gz upstream-6fa0e07758524eddf20c9b66dfcb55c490e1961e.tar.bz2 upstream-6fa0e07758524eddf20c9b66dfcb55c490e1961e.zip | |
build: allow overriding the filename on the remote server when downloading
Github releases usually don't contain the project name in the release
filename, which makes them very inconvenient to use from the build
system. Add support for naming the local file differently.
Signed-off-by: Felix Fietkau <nbd@nbd.name>
Diffstat (limited to 'toolchain/Makefile')
0 files changed, 0 insertions, 0 deletions