diff options
| author | Stefan Weil <sw@weilnetz.de> | 2016-10-13 20:29:30 +0200 |
|---|---|---|
| committer | Michael Tokarev <mjt@tls.msk.ru> | 2016-10-28 18:17:24 +0300 |
| commit | 630b210b9abbf362905a2096c22c5eb1d6224e77 (patch) | |
| tree | cc2534beef2749611e13aaba2731821358bcb459 | |
| parent | 814bb12a561d36aeb5ae4440ad43d2b0761d76da (diff) | |
Fix build for less common build directories names
scripts/tracetool generates a C preprocessor macro from the name of the
build directory. Any characters which are possible in a directory name
but not allowed in a macro name must be substituted, otherwise builds
will fail.
Signed-off-by: Stefan Weil <sw@weilnetz.de>
Signed-off-by: Michael Tokarev <mjt@tls.msk.ru>
| -rwxr-xr-x | scripts/tracetool.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/tracetool.py b/scripts/tracetool.py index 629b2593c8..fe9c9e904b 100755 --- a/scripts/tracetool.py +++ b/scripts/tracetool.py @@ -70,7 +70,7 @@ def make_group_name(filename): if dirname == "": return "common" - return re.sub(r"/|-", "_", dirname) + return re.sub(r"[^A-Za-z0-9]", "_", dirname) def main(args): global _SCRIPT |