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:27:14 +1100 |
commit | 2b5f69e672af779b90cb1d4514f70072bade8fd9 (patch) | |
tree | 4d198f2f6aa2731d7c3d4ca55e9c29434d309300 /source-builder | |
parent | sb: Fix build's --with-error-report handling. (diff) | |
download | rtems-source-builder-2b5f69e672af779b90cb1d4514f70072bade8fd9.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 |