(top_distclean): Delete config.cache.
This commit is contained in:
parent
5038b790cf
commit
7e5e0277f0
1 changed files with 1 additions and 1 deletions
|
@ -436,7 +436,7 @@ clean: FRC
|
|||
### `make distclean' should leave only the files that were in the
|
||||
### distribution.
|
||||
top_distclean=\
|
||||
rm -f config.status ; \
|
||||
rm -f config.status config.cache ; \
|
||||
rm -f Makefile ${SUBDIR_MAKEFILES} ; \
|
||||
(cd lock && rm -f *)
|
||||
distclean: FRC
|
||||
|
|
Loading…
Add table
Reference in a new issue