Revision b48e3611
ID | b48e361194530539d3d420528b9c29a3287b77dd |
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>
Files
- added
- modified
- copied
- renamed
- deleted