Searched refs:patch (Results 1 – 7 of 7) sorted by relevance
6 git format-patch $(BRANCH)..$(BRANCH)-cbmc-patches8 patch: target10 for p in *.patch; do \11 (cd ../../..; patch -p1 < CBMC/patches/$${p}) \
152 patch = subprocess.run(["git", "diff", header_file],159 if patch.returncode:163 """.format(patch.returncode, patch.stderr)))175 if patch.stdout:177 patch_file.write(patch.stdout)
11 def patch(): function36 patch()
2 *.patch eol=lf
47 import patch98 patch.patch()
56 patch:57 cd $(PROOFS)/../patches && ./patch.py
80 provides the `patch` command, from [here](https://git-scm.com/download/win).
