ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
1,335 Commits
52 Branches
336 Tags
624 MiB
Commit Graph

4 Commits (bf8dc9fed06a5180451c73dd3d04c53028cbf1f3)

Author SHA1 Message Date
Olivier Martin 05965678f6 Update GNU Makefiles to generate DEBUG binaries 
* '-g' has been added for all the build to produce debugging information. '-g' allows to get the symbols when debugging with GDB.
* introduce the macro 'DEBUG' to enable/disable build optimization.

Limitations:
* Support in non-Makefile projects has been added.
 2014-03-25 00:49:42 +00:00
dinau a43ba4740a [STM32F407][LPC4088][GCC_ARM] Fixed compilation error. 
This commit fix FPU error when compile with RTX OS.
 2014-03-21 21:16:52 +09:00
Bogdan Marinescu b5527ca74d [LPC4088] Switch to 'hard' FP ABI on GCC 
This is consistent with the armcc compilation options.
 2014-01-07 15:57:52 +02:00
Andreas Rebert 09cf4ef128 Support for exporting to GCC_ARM 2013-10-31 13:28:05 +01:00