diff options
| -rwxr-xr-x | patches/dwmpatch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/patches/dwmpatch b/patches/dwmpatch index 2dc0575..91f3e79 100755 --- a/patches/dwmpatch +++ b/patches/dwmpatch @@ -31,7 +31,7 @@ git branch -D patched git checkout -b "patched" for patchfile in *.diff; do - apply_patch "$patchfile" || exit + apply_patch "$patchfile" || (git switch "patches" && exit) git switch -q "patched" done |