Darryl Green 9b9a790be6 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.

2019-08-30 15:45:46 +01:00

1.8 KiB

Raw Blame History

View Raw