diff options
| -rwxr-xr-x | scripts/git-ptx-patches | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/scripts/git-ptx-patches b/scripts/git-ptx-patches index 1ee788ad3..37f5d9119 100755 --- a/scripts/git-ptx-patches +++ b/scripts/git-ptx-patches @@ -32,6 +32,11 @@ if grep -q "$PTX_PATCHES_HEADER" .ptxdist/series; then fi fi +if [ "x$1" = "x--force-remove" ]; then + remove_old="force" + shift +fi + while getopts "ft:n:" opt; do case "${opt}" in f) @@ -45,11 +50,6 @@ while getopts "ft:n:" opt; do done shift $((${OPTIND} - 1)) -if [ "x$1" = "x--force-remove" ]; then - remove_old="force" - shift -fi - tag2=$(grep "#tag:" .ptxdist/series | awk "/#tag:${tag}/{if (getline) print \$1}" | sed 's,#tag:,,') range="${tag}..${tag2}" |