diff options
-rwxr-xr-x | editline/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editline/Makefile.in b/editline/Makefile.in index 8860ffe39..282e8432d 100755 --- a/editline/Makefile.in +++ b/editline/Makefile.in @@ -165,6 +165,7 @@ clean : rm -f $(BGCSRCS:.c=.o_a) $(CCSRCS:.c=.o_a) rm -f $(BGCSRCS:.c=.o_s) $(CCSRCS:.c=.o_s) rm -f $(TCSRCS:.c=.o) $(TEST) + rm -f config.cache distclean : clean rm -f config.log config.status config.h Makefile |