mbed official / mbed

Dependents:   hello SerialTestv11 SerialTestv12 Sierpinski ... more

Revision:
169:a7c7b631e539
Parent:
161:aa5281ff4a02
--- a/TARGET_GR_LYCHEE/irq_ctrl.h	Thu May 24 15:35:55 2018 +0100
+++ b/TARGET_GR_LYCHEE/irq_ctrl.h	Fri Jun 22 15:38:59 2018 +0100
@@ -22,6 +22,12 @@
  * limitations under the License.
  */
 
+#if   defined ( __ICCARM__ )
+  #pragma system_include         /* treat file as system include file for MISRA check */
+#elif defined (__clang__)
+  #pragma clang system_header   /* treat file as system include file */
+#endif
+
 #ifndef IRQ_CTRL_H_
 #define IRQ_CTRL_H_