diff options
author | Chris Johns <chrisj@rtems.org> | 2012-11-30 20:53:15 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2012-11-30 20:53:15 +1100 |
commit | abb3dd4f73727756efd4856156acdbbbb271c26d (patch) | |
tree | 62b4e7b7e0d197a926c17b6f3e4e87e3f529d6ea /wscript | |
parent | 1788d6cdcf530688e1e928c93bb852bff3904394 (diff) |
Embedded is on by default now.
Diffstat (limited to 'wscript')
-rw-r--r-- | wscript | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -28,7 +28,7 @@ def options(opt): def configure(conf): conf.find_program('awk') conf.env.GSYMS_AWK = '%s/mksyms.awk' % (conf.srcnode.abspath()) - conf.env.GSYMS_FLAGS = '--embed' + conf.env.GSYMS_FLAGS = ['--', '--embed'] conf.env.ASCIIDOC = conf.find_program(['asciidoc.py'], mandatory = False) conf.env.ASCIIDOC_FLAGS = ['-b', 'html', '-a', 'data-uri', '-a', 'icons', '-a', 'max-width=55em-a'] |