Overview
| Comment: | More work on getting headers correctly made available |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
76ee8b8d3d385044726a8253afdd3e58 |
| User & Date: | rkeene on 2014-05-18 01:08:10 |
| Other Links: | manifest | tags |
Context
|
2014-05-18
| ||
| 02:20 | Added script to perform known header corrections check-in: 016eb686f9 user: rkeene tags: trunk | |
| 01:08 | More work on getting headers correctly made available check-in: 76ee8b8d3d user: rkeene tags: trunk | |
| 01:07 | Updated to define __ANDROID__ on Android/ARM check-in: e3c6c05d95 user: rkeene tags: trunk | |
Changes
Modified Makefile.in from [c5c37de162] to [3232e8d81e]. [diff]
Modified headers.awk from [03d356e3a6] to [d4ffca3dc2]. [diff]