fix from Robert for extra refreshes

[wxWidgets.git] / src / png / makefile.vc

diff --git a/src/png/makefile.vc b/src/png/makefile.vc
index 94244472b839d2b3b617d450424ada06e04c91e0..61b7be06a5e0b0e3f88c7c31a34ac189a4991933 100644 (file)
--- a/src/png/makefile.vc
+++ b/src/png/makefile.vc
@@ -59,7 +59,7 @@ OBJECTS = png.obj pngread.obj pngrtran.obj pngrutil.obj \
 all:    $(WINPNGLIB)
 
 $(WINPNGLIB):      $(OBJECTS)
 all:    $(WINPNGLIB)
 
 $(WINPNGLIB):      $(OBJECTS)

-        -del $(WINPNGLIB)
+        -erase $(WINPNGLIB)

         lib @<<
 -out:$(WINPNGLIB)
 $(OBJECTS)
         lib @<<
 -out:$(WINPNGLIB)
 $(OBJECTS)


@@ -71,6 +71,6 @@ $(OBJECTS)
 clean:
         -erase *.obj
         -erase *.exe
 clean:
         -erase *.obj
         -erase *.exe

-        -erase *.lib
+        -erase $(WINPNGLIB)

 
 cleanall:      clean
 
 cleanall:      clean