diff options
| author | Alexey Neyman <stilor@att.net> | 2017-09-30 20:37:22 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-30 20:37:22 -0700 |
| commit | f966dd855fd8984f333cf7da3c7c137794e1f34c (patch) | |
| tree | bf0c6d296987c2e21b9ca77e1532c9fb8c5bdb96 /scripts/build/cc/gcc.sh | |
| parent | f86adab1f41b2320c20ffe2e9ffe0c6d12954c33 (diff) | |
| parent | ca45a8f9abd672189dbef5bcb242ac465df7b0f6 (diff) | |
| download | crosstool-ng-f966dd855fd8984f333cf7da3c7c137794e1f34c.tar.gz crosstool-ng-f966dd855fd8984f333cf7da3c7c137794e1f34c.tar.bz2 crosstool-ng-f966dd855fd8984f333cf7da3c7c137794e1f34c.zip | |
Merge pull request #837 from stilor/download-verify
Verification of the downloads
Diffstat (limited to 'scripts/build/cc/gcc.sh')
| -rw-r--r-- | scripts/build/cc/gcc.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/build/cc/gcc.sh b/scripts/build/cc/gcc.sh index 54303410..b5ae7b10 100644 --- a/scripts/build/cc/gcc.sh +++ b/scripts/build/cc/gcc.sh @@ -14,7 +14,8 @@ do_cc_get() { # GCC source tree, which will not be there unless we get it and # put it there ourselves if [ "${CT_CC_LANG_JAVA_USE_ECJ}" = "y" ]; then - if ! CT_GetFile ecj ecj-latest .jar $(CT_Mirrors sourceware java); then + if ! CT_GetFile package=ecj basename=ecj-latest extensions=.jar \ + mirrors=$(CT_Mirrors sourceware java); then # Should be a package, too - but with Java retirement in GCC, # it may not make sense. CT_Abort "Failed to download ecj-latest.jar" |