diff options
Diffstat (limited to 'third_party/waf/waflib/Tools/gnu_dirs.py')
| -rw-r--r-- | third_party/waf/waflib/Tools/gnu_dirs.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/third_party/waf/waflib/Tools/gnu_dirs.py b/third_party/waf/waflib/Tools/gnu_dirs.py index d5b26f79ba1..b9735b8cf38 100644 --- a/third_party/waf/waflib/Tools/gnu_dirs.py +++ b/third_party/waf/waflib/Tools/gnu_dirs.py @@ -132,3 +132,4 @@ def options(opt): str_default = default str_help = '%s [%s]' % (help, re.sub(r'\$\{([^}]+)\}', r'\1', str_default)) dirs_options.add_option(option_name, help=str_help, default='', dest=name.upper()) + |