Fix pinname generation on NRF52840_DK

ARMmbed · Apr 19, 2019 · a41fce5 · a41fce5
1 parent bfce8f0
commit a41fce5
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/mbed-js/tools/generate_pins.py b/mbed-js/tools/generate_pins.py
@@ -121,7 +121,14 @@ def enumerate_pins(c_source_file, include_dirs, definitions):
     Enumerate pins specified in PinNames.h, by looking for a PinName enum
     typedef somewhere in the file.
     """
-    definitions += ['__attribute(x)__=', '__extension__(x)=', 'register=', '__IO=', 'uint32_t=unsigned int']
+    definitions += [
+        '__attribute(x)__=',
+        '__extension__(x)=',
+        'register=',
+        '__IO=',
+        'uint32_t=unsigned int',
+        '_UINT32_T_DECLARED'
+    ]
 
     gcc_args = ['-E', '-fmerge-all-constants']
     gcc_args += ['-I' + directory for directory in include_dirs]

diff --git a/mbed-js/tools/nrf_gpio.h b/mbed-js/tools/nrf_gpio.h