make: when mrproper, also remove Git tree unrelated files
authorDaniel Borkmann <dborkman@redhat.com>
Sat, 30 Mar 2013 10:51:04 +0000 (11:51 +0100)
committerDaniel Borkmann <dborkman@redhat.com>
Sat, 30 Mar 2013 10:51:04 +0000 (11:51 +0100)
commit3107cf8c5c9604844827831b28d585c558504166
tree8d023d8d15db0506661d4feec64e056923683153
parent367efea8c9ba557a81158a69ecee267706a520eb
make: when mrproper, also remove Git tree unrelated files

When we really clean up everything, also remove crap files that do
not belong to the Git tree.

Signed-off-by: Daniel Borkmann <dborkman@redhat.com>
Makefile