diff options
| author | Bernard Xiong <[email protected]> | 2019-04-25 10:04:01 +0800 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-04-25 10:04:01 +0800 |
| commit | 16b67da162996a4e08007483de1a337acb0b3057 (patch) | |
| tree | 6866e6a4f118347beaf6d2510d6aca71ef6c9dea | |
| parent | 72c763904cd7c7f1ab2cb6cc3f3ee05a53ffc527 (diff) | |
| parent | 4317960a50c06dea0521d08266057825b3e4bcde (diff) | |
Merge pull request #2613 from BernardXiong/fix_makefile
[tools] Fix the makefile issue under Windows.
| -rw-r--r-- | tools/makefile.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/makefile.py b/tools/makefile.py index 53e1d493a0..655e294575 100644 --- a/tools/makefile.py +++ b/tools/makefile.py @@ -32,8 +32,8 @@ def TargetMakefile(env): make = open('config.mk', 'w') - make.write('BSP_ROOT ?= %s\n' % BSP_ROOT.replace('\\', '\\\\')) - make.write('RTT_ROOT ?= %s\n' % RTT_ROOT.replace('\\', '\\\\')) + make.write('BSP_ROOT ?= %s\n' % BSP_ROOT.replace('\\', '/')) + make.write('RTT_ROOT ?= %s\n' % RTT_ROOT.replace('\\', '/')) make.write('\n') cross = os.path.abspath(rtconfig.EXEC_PATH) @@ -117,7 +117,7 @@ def TargetMakefile(env): files = Files src.write('SRC_FILES :=\n') for item in files: - src.write('SRC_FILES +=%s\n' % item) + src.write('SRC_FILES +=%s\n' % item.replace('\\', '/')) make = open('Makefile', 'w') make.write(makefile) |