diff options
author | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2016-02-05 11:12:24 +0000 |
---|---|---|
committer | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2016-02-17 11:14:21 +0000 |
commit | e472b50814f04283354dd1486fd5f8b996186994 (patch) | |
tree | 8248cd051ea3becb4911828fa8ffc7c2ba3931f7 /include/stdlib/sys/stdint.h | |
parent | 4a9663062cef254e79189e4fbde85172eb58f9ce (diff) |
Add missing build options to the User Guide
The folowing build options were missing from the User Guide and have been
documented:
- CTX_INCLUDE_FPREGS
- DISABLE_PEDANTIC
- BUILD_STRING
- VERSION_STRING
- BUILD_MESSAGE_TIMESTAMP
Change-Id: I6a9c39ff52cad8ff04deff3ac197af84d437b8b7
Diffstat (limited to 'include/stdlib/sys/stdint.h')
0 files changed, 0 insertions, 0 deletions