diff options
| author | Chris Johns <chrisj@rtems.org> | 2017-05-10 10:41:19 +1000 |
|---|---|---|
| committer | Chris Johns <chrisj@rtems.org> | 2017-05-10 10:41:19 +1000 |
| commit | f99c37eb0ad77676bf866961ffb784113b4743f6 (patch) | |
| tree | 22978195e8691e301a95795449c41280230e025c /source-builder/sb/bootstrap.py | |
| parent | rtems-tools: Start a build with a distclean to clean away an old build. (diff) | |
| download | rtems-source-builder-f99c37eb0ad77676bf866961ffb784113b4743f6.tar.bz2 | |
bootstrap: Do not create a log file by default.
Diffstat (limited to 'source-builder/sb/bootstrap.py')
| -rw-r--r-- | source-builder/sb/bootstrap.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source-builder/sb/bootstrap.py b/source-builder/sb/bootstrap.py index c9acf5c..9095f3c 100644 --- a/source-builder/sb/bootstrap.py +++ b/source-builder/sb/bootstrap.py @@ -268,7 +268,7 @@ def run(args): optargs = { '--rtems': 'The RTEMS source directory', '--preinstall': 'Preinstall AM generation' } log.notice('RTEMS Source Builder - RTEMS Bootstrap, %s' % (version.str())) - opts = options.load(sys.argv, optargs) + opts = options.load(sys.argv, optargs, logfile = False) if opts.get_arg('--rtems'): topdir = opts.get_arg('--rtems') else: |