diff options
Diffstat (limited to 'scripts/create-pull-request')
| -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 fi if [ $? -ne 0 ]; then echo "ERROR: git request-pull reported an error" + rm -rf $ODIR exit 1 fi |