tree 42bec54d665d97a57e41551e28a240237dfcfd63
parent 31465c6c1f51ac3b2b8edc2704924e4c453d11bc
author Darryl Green <darryl.green@arm.com> 1567173115 +0100
committer Jaeden Amero <jaeden.amero@arm.com> 1567176346 +0100

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.