diff options
author | John Gilmore <gnu@cygnus> | 1991-05-31 03:34:29 +0000 |
---|---|---|
committer | John Gilmore <gnu@cygnus> | 1991-05-31 03:34:29 +0000 |
commit | 38f7d29d233d5c84dfbefe9985e4820e6f95251a (patch) | |
tree | 830417f01dbe4fe2b8084751d4a7ebe033dbdc39 | |
parent | e5651c613f41ab73bbbb3d637d9ab3240f959592 (diff) | |
download | gdb-38f7d29d233d5c84dfbefe9985e4820e6f95251a.zip gdb-38f7d29d233d5c84dfbefe9985e4820e6f95251a.tar.gz gdb-38f7d29d233d5c84dfbefe9985e4820e6f95251a.tar.bz2 |
Remove processed scripts in "make clean".
-rw-r--r-- | ld/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ld/Makefile.in b/ld/Makefile.in index 056c8ef..54ed70a 100644 --- a/ld/Makefile.in +++ b/ld/Makefile.in @@ -170,6 +170,7 @@ de-stage3: force clean: - rm -f TAGS $(OFILES) $(GENERATED_SOURCES) $(GENERATED_HEADERS) + - rm -f $(PROCESSED_SCRIPTS) - rm -f ld ld1 ld2 ld3 ld.new mkscript *.o y.output lintlog:$(SOURCES) Makefile |