Description: Extend distclean target to remove files that were left behind
 The distclean target did not remove some files that were created by configure.
Author: Andreas Bombe <aeb@debian.org>
Last-Update: 2021-02-11
---
This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
Index: git/Makefile.in
===================================================================
--- git.orig/Makefile.in	2021-02-11 02:01:12.530140588 +0100
+++ git/Makefile.in	2021-02-11 02:02:16.830297828 +0100
@@ -596,6 +596,7 @@
 
 distclean: clean
 	$(RM) -f default_paths.ads ortho_code-x86-flags.ads
+	$(RM) -f elf_arch.ads ghdlsynth_maybe.ads
 	$(RM) -f grt/grt-backtrace-impl.ads
 	$(RM) -f Makefile config.status ghdl.gpr
 
