summaryrefslogtreecommitdiff
path: root/scripts/create-pull-request
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/create-pull-request')
-rwxr-xr-xscripts/create-pull-request1
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