From 4317960a50c06dea0521d08266057825b3e4bcde Mon Sep 17 00:00:00 2001 From: Bernard Xiong Date: Wed, 24 Apr 2019 21:09:04 +0800 Subject: [PATCH] [tools] Fix the makefile issue under Windows. --- tools/makefile.py | 6 +++--- 1 file 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) -- GitLab