diff 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 3ab6da491b7c
children 2630c195f872
line wrap: on
line diff
--- a/src/makefile.w32-in	Sat Jan 06 21:19:03 2001 +0000
+++ b/src/makefile.w32-in	Sat Jan 06 21:36:39 2001 +0000
@@ -232,7 +232,7 @@
 # 
 clean:
 	- $(DEL) *~ "s/*~" "m/*~"
-	- $(DEL) *.pdb
+	- $(DEL) $(COMPILER_TEMP_FILES)
 	- $(DEL_TREE) $(OBJDIR)
 
 distclean:	clean