diff options
| author | Andreas Bombe <aeb@debian.org> | 2021-10-02 15:40:41 +0200 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2021-10-04 07:24:42 +0200 |
| commit | ee485159a79baa4ddde4fc2713166057e5d334c6 (patch) | |
| tree | fefab166b83632ba65196de326979fb1c96a8c4b /Makefile.in | |
| parent | 1e57ae1dc370924e73f1fd1761aa833745f1a7e5 (diff) | |
| download | ghdl-ee485159a79baa4ddde4fc2713166057e5d334c6.tar.gz ghdl-ee485159a79baa4ddde4fc2713166057e5d334c6.tar.bz2 ghdl-ee485159a79baa4ddde4fc2713166057e5d334c6.zip | |
Makefile.in: Fix missed files in distclean
The files elf_arch.ads and ghdlsynth_maybe.ads are created by the
configure script and also need to be removed in distclean.
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index b5ddde46b..7e7f6b8f1 100644 --- a/Makefile.in +++ b/Makefile.in @@ -629,6 +629,7 @@ clean: force 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 |