diff options
author | Chris Johns <chrisj@rtems.org> | 2012-12-01 08:09:50 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2012-12-01 08:09:50 +1100 |
commit | ab272b9480663c773bc6d1ee113f7bb5adbd6f8e (patch) | |
tree | 121ba1c25413af1a45a72a9f2284dfe28c42922c /wscript | |
parent | 9856d096995e701ce68c6e0107146c7be3518502 (diff) |
Remove the gsyms embed options. Default is on.
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 = [] 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'] |