diff --git a/utils_maintenance/code_clean.py b/utils_maintenance/code_clean.py index 996d36b0572ae00c89dc596bc572d86208fbd1b0..86e9fe8e940740d0bcf94b6d65d0fd93b47611be 100755 --- a/utils_maintenance/code_clean.py +++ b/utils_maintenance/code_clean.py @@ -1187,7 +1187,12 @@ def wash_source_with_edits(arg_group: Tuple[str, str, str, str, bool, Any]) -> N keep_edits=False, ) if not os.path.exists(output): - raise Exception("Failed to produce output file: " + output) + # raise Exception("Failed to produce output file: " + output) + + # NOTE(@campbellbarton): This fails very occasionally and needs to be investigated why. + # For now skip, as it's disruptive to force-quit in the middle of all other changes. + print("Failed to produce output file, skipping:", output) + return output_bytes = file_as_bytes(output) # Dummy value that won't cause problems.