diff options
author | Chris Johns <chrisj@rtems.org> | 2016-03-14 16:23:19 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2016-03-14 16:23:19 +1100 |
commit | 6e490ae1e1c11825eeeef36e802a5a3c426435de (patch) | |
tree | 08a2bc6f1489510ad3705cf8c7b6230ab130965c /source-builder | |
parent | sb: Fix build's --with-error-report handling. (diff) | |
download | rtems-source-builder-6e490ae1e1c11825eeeef36e802a5a3c426435de.tar.bz2 |
sb: Update download to check the config file for release URL control.
Provide without_release_url support in the configuration file so
the release tarball download of the kernel and tools uses the
release's top level directory and not the sources directory.
Closes #2481.
Diffstat (limited to 'source-builder')
-rw-r--r-- | source-builder/sb/download.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/source-builder/sb/download.py b/source-builder/sb/download.py index affaa65..355cd4a 100644 --- a/source-builder/sb/download.py +++ b/source-builder/sb/download.py @@ -566,6 +566,9 @@ def get_file(url, local, opts, config): if version.released(): rtems_release_url = rtems_release_url_value with_rel_url = opts.with_arg('release-url') + if with_rel_url[1] == 'not-found': + if config.defined('without_release_url'): + with_rel_url = ('without_release-url', 'yes') if with_rel_url[0] == 'with_release-url': if with_rel_url[1] == 'yes': rtems_release_url = rtems_release_url_value |