diff --git a/libraries/USBDevice/USBDevice/USBHAL.h b/libraries/USBDevice/USBDevice/USBHAL.h index c9c047e3b2b..a6464ab7f6f 100644 --- a/libraries/USBDevice/USBDevice/USBHAL.h +++ b/libraries/USBDevice/USBDevice/USBHAL.h @@ -22,6 +22,10 @@ #include "mbed.h" #include "USBEndpoints.h" +#ifdef __GNUC__ +#define __packed __attribute__ ((__packed__)) +#endif + class USBHAL { public: /* Configuration */ diff --git a/libraries/mbed/capi/toolchain.h b/libraries/mbed/capi/toolchain.h index 69a4ddd87b7..bb83e169c33 100644 --- a/libraries/mbed/capi/toolchain.h +++ b/libraries/mbed/capi/toolchain.h @@ -32,4 +32,9 @@ typedef int FILEHANDLE; # define PACKED __attribute__((packed)) #endif + +#ifdef __GNUC__ +#define __packed __attribute__ ((__packed__)) +#endif + #endif diff --git a/libraries/mbed/cpp/mbed.h b/libraries/mbed/cpp/mbed.h index bba24a76dbe..e82fd970a45 100644 --- a/libraries/mbed/cpp/mbed.h +++ b/libraries/mbed/cpp/mbed.h @@ -18,6 +18,7 @@ #define MBED_LIBRARY_VERSION 30 +#include "toolchain.h" #include "platform.h" // Useful C libraries