ref: 32bca36f510865da274c6b4ecaed12a74c43d4ea
parent: 76db4d599a6c5d88592b98a525faf83f48545161
parent: e636af13e7eef2ba684313c837d2e9554386962b
author: James Zern <jzern@google.com>
date: Mon Jul 22 08:55:29 EDT 2013
Merge "configure: default configure log to config.log"