diff options
| author | Andrew Robbins <contact@andrewrobbins.info> | 2017-09-20 09:36:50 -0400 |
|---|---|---|
| committer | Andrew Robbins <contact@andrewrobbins.info> | 2017-09-20 11:01:10 -0400 |
| commit | c9a97565554a651f291a340415489e2f4ece0b28 (patch) | |
| tree | 6d1fdea2018c8250a031bc741e908aeaafecc1a9 | |
| parent | 139b7a41d8cda3ba100f6a1d2ef3e4d9beed2f8e (diff) | |
| download | librebootfr-c9a97565554a651f291a340415489e2f4ece0b28.tar.gz librebootfr-c9a97565554a651f291a340415489e2f4ece0b28.zip | |
Declare array wget_options with local scope
| -rwxr-xr-x | libs/common | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libs/common b/libs/common index 9bf50ab9..87f2f364 100755 --- a/libs/common +++ b/libs/common @@ -75,7 +75,7 @@ download_wrapper() { # TODO: Add support for curl, in addition # to wget, for compatibility reasons - wget_options=( + local wget_options=( '--config=/dev/null' '--secure-protocol=PFS' "--directory-prefix=$download_dir" |