commit | b48e361194530539d3d420528b9c29a3287b77dd | [log] [tgz] |
---|---|---|
author | Peter Maydell <[email protected]> | Wed Nov 23 17:26:44 2011 +0000 |
committer | Stefan Hajnoczi <[email protected]> | Tue Dec 06 09:56:41 2011 +0000 |
tree | ab3edd1d6432691bc4aa9c75bedd6fd7511294c5 | |
parent | fd786e1aee5d3a0a304fccaa5cb6ae2cbbeb435e [diff] |
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 <[email protected]> Signed-off-by: Stefan Hajnoczi <[email protected]>