diff options
| -rw-r--r-- | scripts/lib/devtool/upgrade.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/lib/devtool/upgrade.py b/scripts/lib/devtool/upgrade.py index 706f91c935..18c5b66a29 100644 --- a/scripts/lib/devtool/upgrade.py +++ b/scripts/lib/devtool/upgrade.py | |||
| @@ -281,6 +281,7 @@ def _extract_new_source(newpv, srctree, no_patch, srcrev, srcbranch, branch, kee | |||
| 281 | logger.info('Preserving temporary directory %s' % tmpsrctree) | 281 | logger.info('Preserving temporary directory %s' % tmpsrctree) |
| 282 | else: | 282 | else: |
| 283 | shutil.rmtree(tmpsrctree) | 283 | shutil.rmtree(tmpsrctree) |
| 284 | shutil.rmtree(tmpdir) | ||
| 284 | 285 | ||
| 285 | return (rev, md5, sha256, srcbranch, srcsubdir_rel) | 286 | return (rev, md5, sha256, srcbranch, srcsubdir_rel) |
| 286 | 287 | ||