Function write_if_different

pythonbuild/utils.py:162–173

Write a file if it is missing or its content is different.

(p: pathlib.Path, data: bytes)

def write_if_different(p: pathlib.Path, data: bytes):
    """Write a file if it is missing or its content is different."""
    if p.exists():
        with p.open("rb") as fh:
            existing = fh.read()
        write = existing != data
    else:
        write = True

    if write:
        with p.open("wb") as fh:
            fh.write(data)


def write_triples_makefiles(