diff options
author | Alexandre Raymond <cerbere@gmail.com> | 2011-07-25 23:56:02 -0400 |
---|---|---|
committer | Stefan Hajnoczi <stefanha@linux.vnet.ibm.com> | 2011-08-03 11:17:36 +0100 |
commit | 793553acb3d70ae64e459fa067486c6c741133e7 (patch) | |
tree | 702cb83868b05573a41d1e3d6e4de8888d8ac9ef /configure | |
parent | 0f1b583ee7db23cb31f68a9d9b55755ca95f9f3f (diff) |
Makefile: delete config.log in distclean
Distclean should remove anything created by the configure script.
Signed-off-by: Alexandre Raymond <cerbere@gmail.com>
Signed-off-by: Stefan Hajnoczi <stefanha@linux.vnet.ibm.com>
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions