diff options
Diffstat (limited to 'src/boot/Makefile.in')
| -rw-r--r-- | src/boot/Makefile.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/boot/Makefile.in b/src/boot/Makefile.in index c438d385..756d59c6 100644 --- a/src/boot/Makefile.in +++ b/src/boot/Makefile.in @@ -216,7 +216,6 @@ mostlyclean-local: @rm -f stamp clean-local: mostlyclean-local - @rm -f $(boot_sources) @rm -f *.clisp distclean-local: clean-local |