Merge pull request #2613 from BernardXiong/fix_makefile

[tools] Fix the makefile issue under Windows.
This commit is contained in:
Bernard Xiong 2019-04-25 10:04:01 +08:00 committed by GitHub
commit 16b67da162
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions

View File

@ -32,8 +32,8 @@ def TargetMakefile(env):
make = open('config.mk', 'w') make = open('config.mk', 'w')
make.write('BSP_ROOT ?= %s\n' % BSP_ROOT.replace('\\', '\\\\')) make.write('BSP_ROOT ?= %s\n' % BSP_ROOT.replace('\\', '/'))
make.write('RTT_ROOT ?= %s\n' % RTT_ROOT.replace('\\', '\\\\')) make.write('RTT_ROOT ?= %s\n' % RTT_ROOT.replace('\\', '/'))
make.write('\n') make.write('\n')
cross = os.path.abspath(rtconfig.EXEC_PATH) cross = os.path.abspath(rtconfig.EXEC_PATH)
@ -117,7 +117,7 @@ def TargetMakefile(env):
files = Files files = Files
src.write('SRC_FILES :=\n') src.write('SRC_FILES :=\n')
for item in files: for item in files:
src.write('SRC_FILES +=%s\n' % item) src.write('SRC_FILES +=%s\n' % item.replace('\\', '/'))
make = open('Makefile', 'w') make = open('Makefile', 'w')
make.write(makefile) make.write(makefile)