Stop CBMC patch generation from generating 0-length patches.
@@ -172,6 +172,7 @@ def create_patch(defines, header_file):
header_path_part = header_file.replace(os.sep, "_")
path_name = "auto_patch_" + header_path_part + ".patch"
path_name = os.path.join(PATCHES_DIR, path_name)
+ if patch.stdout:
with open(path_name, "w") as patch_file:
patch_file.write(patch.stdout)
