diff options
| author | Meco Man <[email protected]> | 2022-08-02 01:33:29 -0400 |
|---|---|---|
| committer | Man, Jianting (Meco) <[email protected]> | 2022-08-02 23:15:14 -0400 |
| commit | eafcdd0bc2e9f1282d100c5b182698a4c9a00b8c (patch) | |
| tree | ec19b48ae2bc9b8149c4a10b272cc1131b0f0d1b /tools/makefile.py | |
| parent | af82606dd3e2515e123ce567f8693da7daffc7a8 (diff) | |
[tools] format python code
Diffstat (limited to 'tools/makefile.py')
| -rw-r--r-- | tools/makefile.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/makefile.py b/tools/makefile.py index 78dbd2228a..414e55a3f3 100644 --- a/tools/makefile.py +++ b/tools/makefile.py @@ -27,7 +27,7 @@ def TargetMakefile(env): RTT_ROOT = os.path.abspath(env['RTT_ROOT']) match_bsp = False - if BSP_ROOT.startswith(RTT_ROOT): + if BSP_ROOT.startswith(RTT_ROOT): match_bsp = True make = open('config.mk', 'w') |