tree 9dfd52703b10c0107fd0aa1f56147b26cde3fe97
parent 3b80ab93ce0c6e173c773622f77b2899c949ef0b
author Darryl Green <darryl.green@arm.com> 1539789153 +0100
committer Darryl Green <darryl.green@arm.com> 1540292611 +0100

Add better handling when deleting files on Windows

Windows complains if you try to delete a file that doesn't exist.
Makefiles now check if the files exist before trying to delete them.