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 c748e3d73..5cc0b8008 100644 --- a/Makefile.in +++ b/Makefile.in @@ -450,7 +450,7 @@ clean: force $(RM) -rf lib distclean: clean - $(RM) -f default_pathes.ads ortho_code-x86-flags.ads + $(RM) -f default_paths.ads ortho_code-x86-flags.ads $(RM) -f grt/grt-backtrace-impl.ads $(RM) -f Makefile config.status ghdl.gpr |