diff options
| author | Gregory Nutt <gnutt@nuttx.org> | 2013-04-08 18:34:16 -0600 |
|---|---|---|
| committer | Gregory Nutt <gnutt@nuttx.org> | 2013-04-08 18:34:16 -0600 |
| commit | 5de7cb3201f7600ad1bd03b49526b2cbf38cdf61 (patch) | |
| tree | 3b6d8fad9314c9cd8da11bcc800f39914a0932e1 /.gitignore | |
| parent | 1ec16044b1b868ac9b29260aa0607e581792a8b5 (diff) | |
| download | nuttx-5de7cb3201f7600ad1bd03b49526b2cbf38cdf61.tar.gz nuttx-5de7cb3201f7600ad1bd03b49526b2cbf38cdf61.tar.bz2 nuttx-5de7cb3201f7600ad1bd03b49526b2cbf38cdf61.zip | |
Use default optimization of -Os for all ARMv6-M tools
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions