diff options
author | Ed Bartosh <ed.bartosh@linux.intel.com> | 2016-09-14 15:02:04 +0300 |
---|---|---|
committer | Richard Purdie <richard.purdie@linuxfoundation.org> | 2016-09-15 12:15:07 +0100 |
commit | f7367de2addf60c8e06c600d44d363eae532308c (patch) | |
tree | 2047565320ba19688ea6018c0a55641bd61dea25 /scripts/create-pull-request | |
parent | 5b5c42622564cd7f19f5915a6d8fbcd199c7744b (diff) | |
download | poky-f7367de2addf60c8e06c600d44d363eae532308c.tar.gz |
create-pull-request: remove output directory
When 'git request-pull' fails it makes sense to remove output
directory. Otherwise create-pull-request will complain that
output directory already exists on the next run.
(From OE-Core rev: 8535784ba84060e0e7ca05e7771a58f9c70c69b9)
Signed-off-by: Ed Bartosh <ed.bartosh@linux.intel.com>
Signed-off-by: Richard Purdie <richard.purdie@linuxfoundation.org>
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 | ||