diff options
author | Richard Stallman <rms@gnu.org> | 1993-10-20 06:02:01 +0000 |
---|---|---|
committer | Richard Stallman <rms@gnu.org> | 1993-10-20 06:02:01 +0000 |
commit | 0ffe297f0b31b1163e4e3fbb84b9604408f56c1d (patch) | |
tree | 5a21ae011aead5029295b3ba76934324267f9ff3 /gcc | |
parent | db4f69a89fd3066430c948bcf4cde96e50cf3236 (diff) | |
download | gcc-0ffe297f0b31b1163e4e3fbb84b9604408f56c1d.zip gcc-0ffe297f0b31b1163e4e3fbb84b9604408f56c1d.tar.gz gcc-0ffe297f0b31b1163e4e3fbb84b9604408f56c1d.tar.bz2 |
(extraclean): Delete file djefoo.
From-SVN: r5824
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/Makefile.in b/gcc/Makefile.in index 0a0b783..779c421 100644 --- a/gcc/Makefile.in +++ b/gcc/Makefile.in @@ -1706,6 +1706,7 @@ extraclean: distclean -rm -f *.tar *.xtar *diff *.diff.* *.tar.* *.xtar.* *diffs -rm -f *lose config/*lose config/*/*lose -rm -f *.s *.s[0-9] *.i install1.texi config/ChangeLog + -rm -f djefoo # Get rid of every file that's generated from some other file. # Most of these files ARE PRESENT in the GCC distribution. |