diff options
| -rwxr-xr-x | scripts/create-pull-request | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/create-pull-request b/scripts/create-pull-request index 3f30cf1965..a88f35a4a3 100755 --- a/scripts/create-pull-request +++ b/scripts/create-pull-request | |||
| @@ -229,6 +229,7 @@ else | |||
| 229 | fi | 229 | fi |
| 230 | if [ $? -ne 0 ]; then | 230 | if [ $? -ne 0 ]; then |
| 231 | echo "ERROR: git request-pull reported an error" | 231 | echo "ERROR: git request-pull reported an error" |
| 232 | rm -rf $ODIR | ||
| 232 | exit 1 | 233 | exit 1 |
| 233 | fi | 234 | fi |
| 234 | 235 | ||
