summaryrefslogtreecommitdiffstats
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
229fi 229fi
230if [ $? -ne 0 ]; then 230if [ $? -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
233fi 234fi
234 235