At the end of a COMPARE_BUILD run with a patch file, the build tries to revert the patch to restore the workspace as it was. On some versions of patch, this fails if one or more files were deleted, causing the makefile to abort just before the actual comparison. :-(

Reverting the patch is just a courtesy act for running on a developer workspace, so even if this fails, we should continue with the comparison.