« Previous | Next » 

Revision b48e3611

IDb48e361194530539d3d420528b9c29a3287b77dd

Added by Peter Maydell over 12 years ago

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 <>
Signed-off-by: Stefan Hajnoczi <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences