Handle deleting non-existant files on Windows
If we try to delete a non-existant file using del on Windows, as
can happen when running make clean, del will throw an error. Make
the Makefiles more robust by only deleting files if they exist.
diff --git a/programs/Makefile b/programs/Makefile
index 589b1b5..dce970b 100644
--- a/programs/Makefile
+++ b/programs/Makefile
@@ -317,7 +317,8 @@
-rm -f ssl/ssl_pthread_server$(EXEXT)
-rm -f test/cpp_dummy_build$(EXEXT)
else
- del /S /Q /F *.o *.exe
+ if exist *.o del /Q /F *.o
+ if exist *.exe del /Q /F *.exe
endif
$(MAKE) -C fuzz clean
diff --git a/programs/fuzz/Makefile b/programs/fuzz/Makefile
index 83059aa..5cde090 100644
--- a/programs/fuzz/Makefile
+++ b/programs/fuzz/Makefile
@@ -69,5 +69,6 @@
ifndef WINDOWS
rm -rf $(BINARIES) *.o
else
- del /Q /F *.o *.exe
+ if exist *.o del /Q /F *.o
+ if exist *.exe del /Q /F *.exe
endif