Put quotes around include files

This fixes a problem when the path to include files have spaces.
See ARMmbed/mbed-os-example-uvisor#31 for an
example of this problem.

Signed-off-by: Mo Chen <[email protected]>

Author: Mo Chen

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