| Index: client/bin/kernel.py
|
| diff --git a/client/bin/kernel.py b/client/bin/kernel.py
|
| index b0fc543473748aeba068d29f4a7156ecf386b93b..b39869710c83b935416bc43cbb843c345d69df40 100644
|
| --- a/client/bin/kernel.py
|
| +++ b/client/bin/kernel.py
|
| @@ -271,7 +271,7 @@ class kernel(object):
|
| else:
|
| os.chdir(os.path.dirname(self.src_dir))
|
| # Figure out local destination for tarball
|
| - tarball = os.path.join(self.src_dir, os.path.basename(base_tree))
|
| + tarball = os.path.join(self.src_dir, os.path.basename(base_tree.split(';')[0]))
|
| utils.get_file(base_tree, tarball)
|
| print 'Extracting kernel tarball:', tarball, '...'
|
| utils.extract_tarball_to_dir(tarball, self.build_dir)
|
|
|