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 /include/site/sparc | |
| parent | 200f2666fb1c8d9d128824dc5586e0e66386971f (diff) | |
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 'include/site/sparc')
0 files changed, 0 insertions, 0 deletions