diff options
| -rw-r--r-- | scripts/lib/devtool/standard.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/lib/devtool/standard.py b/scripts/lib/devtool/standard.py index f3f3e98d2f..77a82d5590 100644 --- a/scripts/lib/devtool/standard.py +++ b/scripts/lib/devtool/standard.py | |||
| @@ -805,6 +805,8 @@ def modify(args, config, basepath, workspace): | |||
| 805 | 805 | ||
| 806 | logger.info('Recipe %s now set up to build from %s' % (pn, srctree)) | 806 | logger.info('Recipe %s now set up to build from %s' % (pn, srctree)) |
| 807 | 807 | ||
| 808 | tinfoil.shutdown() | ||
| 809 | |||
| 808 | return 0 | 810 | return 0 |
| 809 | 811 | ||
| 810 | def _get_patchset_revs(args, srctree, recipe_path): | 812 | def _get_patchset_revs(args, srctree, recipe_path): |