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 | |||
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 | ||