Refresh configurations; fix some minor build issues

This commit is contained in:
Gregory Nutt
2015-07-01 10:25:46 -06:00
parent 89f381723e
commit 799205d59b
6 changed files with 743 additions and 577 deletions
File diff suppressed because it is too large Load Diff