ST / ST_Events-old

Dependents:   HelloWorld_CCA01M1 HelloWorld_CCA02M1 CI-data-logger-server HelloWorld_CCA02M1 ... more

This is a fork of the events subdirectory of https://github.com/ARMmbed/mbed-os.

Note, you must import this library with import name: events!!!

Revision:
6530:98ce08655513
Parent:
6403:ecff602aaa32
Child:
6531:8cd307140e31
--- a/tools/toolchains/gcc.py	Thu Jun 16 11:41:22 2016 +0300
+++ b/tools/toolchains/gcc.py	Thu Jun 16 16:13:50 2016 +0300
@@ -166,7 +166,11 @@
         return ["-MD", "-MF", dep_path]
 
     def get_compile_options(self, defines, includes):
-        return ['-D%s' % d for d in defines] + ['@%s' % self.get_inc_file(includes)]
+        opts = ['-D%s' % d for d in defines] + ['@%s' % self.get_inc_file(includes)]
+        prefix_header = self.get_prefix_header()
+        if prefix_header is not None:
+            opts = opts + ['-include', prefix_header]
+        return opts
 
     @hook_tool
     def assemble(self, source, object, includes):