tree ab3edd1d6432691bc4aa9c75bedd6fd7511294c5
parent fd786e1aee5d3a0a304fccaa5cb6ae2cbbeb435e
author Peter Maydell <peter.maydell@linaro.org> 1322069204 +0000
committer Stefan Hajnoczi <stefanha@linux.vnet.ibm.com> 1323165401 +0000

configure: Print a banner comment at the top of config.log

Print a banner comment at the top of config.log identifying
when configure was run and the arguments used. This is occasionally
useful for debugging purposes.

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Stefan Hajnoczi <stefanha@linux.vnet.ibm.com>