diff lib-src/makefile.w32-in @ 35106:e96acf4ae36e

(clean): Delete $(COMPILER_TEMP_FILES) instead of *.pdb.
author Andrew Innes <andrewi@gnu.org>
date Sat, 06 Jan 2001 21:36:39 +0000
parents 3e91ae9e8c6f
children e2ad701b6278
line wrap: on
line diff
--- a/lib-src/makefile.w32-in	Sat Jan 06 21:19:03 2001 +0000
+++ b/lib-src/makefile.w32-in	Sat Jan 06 21:36:39 2001 +0000
@@ -238,7 +238,7 @@
 # Maintenance
 # 
 clean:
-		- $(DEL) *~ *.pdb DOC*
+		- $(DEL) *~ DOC* $(COMPILER_TEMP_FILES)
 		- $(DEL) ctags.c
 		- $(DEL_TREE) $(OBJDIR)