« Previous | Next » 

Revision 793553ac

ID793553acb3d70ae64e459fa067486c6c741133e7

Added by Alexandre Raymond over 9 years ago

Makefile: delete config.log in distclean

Distclean should remove anything created by the configure script.

Signed-off-by: Alexandre Raymond <>
Signed-off-by: Stefan Hajnoczi <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences