diff options
Diffstat (limited to 'scripts/lib/devtool/standard.py')
| -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): logger.info('Recipe %s now set up to build from %s' % (pn, srctree)) + tinfoil.shutdown() + return 0 def _get_patchset_revs(args, srctree, recipe_path): |