diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 4403478c6..dffabdb5b 100644 --- a/Makefile.in +++ b/Makefile.in @@ -448,7 +448,7 @@ clean: force distclean: clean $(RM) -f default_pathes.ads ortho_code-x86-flags.ads - $(RM) -f grt-backtrace-impl.ads + $(RM) -f grt/grt-backtrace-impl.ads $(RM) -f Makefile config.status ghdl.gpr clean-c: force |