diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/create-pull-request | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/create-pull-request b/scripts/create-pull-request index d83362f7f4..97ed874e7f 100755 --- a/scripts/create-pull-request +++ b/scripts/create-pull-request | |||
@@ -178,7 +178,7 @@ git format-patch -M40 --subject-prefix="$PREFIX" -n -o $ODIR --thread=shallow -- | |||
178 | # Customize the cover letter | 178 | # Customize the cover letter |
179 | CL="$ODIR/0000-cover-letter.patch" | 179 | CL="$ODIR/0000-cover-letter.patch" |
180 | PM="$ODIR/pull-msg" | 180 | PM="$ODIR/pull-msg" |
181 | GIT_VERSION=$(`git --version` | tr -d '[:alpha:][:space:].') | 181 | GIT_VERSION=$(`git --version` | tr -d '[:alpha:][:space:].' | sed 's/\(...\).*/\1/') |
182 | NEWER_GIT_VERSION=210 | 182 | NEWER_GIT_VERSION=210 |
183 | if [ $GIT_VERSION -lt $NEWER_GIT_VERSION ]; then | 183 | if [ $GIT_VERSION -lt $NEWER_GIT_VERSION ]; then |
184 | git request-pull $RELATIVE_TO $REMOTE_URL $COMMIT_ID >> "$PM" | 184 | git request-pull $RELATIVE_TO $REMOTE_URL $COMMIT_ID >> "$PM" |