From 1b63202c27f463615e4ffb887e099e01b4dfbce6 Mon Sep 17 00:00:00 2001 From: Mo Chen Date: Tue, 6 Jun 2017 15:32:21 -0500 Subject: [PATCH] Put quotes around include files This fixes a problem when the path to include files have spaces. See https://github.com/ARMmbed/mbed-os-example-uvisor/issues/31 for an example of this problem. Signed-off-by: Mo Chen --- tools/toolchains/__init__.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/toolchains/__init__.py b/tools/toolchains/__init__.py index c572fe96a51..8aef56b2203 100644 --- a/tools/toolchains/__init__.py +++ b/tools/toolchains/__init__.py @@ -740,7 +740,7 @@ def get_inc_file(self, includes): c = c.replace("\\", "/") if self.CHROOT: c = c.replace(self.CHROOT, '') - cmd_list.append('-I%s' % c) + cmd_list.append('"-I%s"' % c) string = " ".join(cmd_list) f.write(string) return include_file