diff options
author | Andrew Innes <andrewi@gnu.org> | 2001-01-06 21:36:39 +0000 |
---|---|---|
committer | Andrew Innes <andrewi@gnu.org> | 2001-01-06 21:36:39 +0000 |
commit | 5cdd7eef66ef971f7f6d311170995ef6a9ad7c4b (patch) | |
tree | 3a1219a9e89558a7360a1a9ec5a94729fd520151 /src/makefile.w32-in | |
parent | 5f3c35e6c9416eeea5133bcecee9a97e5cd9e187 (diff) | |
download | emacs-5cdd7eef66ef971f7f6d311170995ef6a9ad7c4b.tar.gz |
(clean): Delete $(COMPILER_TEMP_FILES) instead
of *.pdb.
Diffstat (limited to 'src/makefile.w32-in')
-rw-r--r-- | src/makefile.w32-in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/makefile.w32-in b/src/makefile.w32-in index 3af600d102e..9bd6cb53a9f 100644 --- a/src/makefile.w32-in +++ b/src/makefile.w32-in @@ -232,7 +232,7 @@ install: $(ALL) # clean: - $(DEL) *~ "s/*~" "m/*~" - - $(DEL) *.pdb + - $(DEL) $(COMPILER_TEMP_FILES) - $(DEL_TREE) $(OBJDIR) distclean: clean |