Index: server/git_kernel.py |
diff --git a/server/git_kernel.py b/server/git_kernel.py |
index 9bd7ae65bbf13d0bdab43ac9c1fa7ffd453850d5..0581ca04c6f88a612c27f58945dfac8d6c133dd6 100644 |
--- a/server/git_kernel.py |
+++ b/server/git_kernel.py |
@@ -16,7 +16,7 @@ class GitKernel(git.InstallableGitRepo): |
It is used to pull down a local copy of a git repo, check if the local repo |
is up-to-date, if not update and then build the kernel from the git repo. |
""" |
- def __init__(self, repodir, giturl, weburl): |
+ def __init__(self, repodir, giturl, weburl=None): |
super(GitKernel, self).__init__(repodir, giturl, weburl) |
self._patches = [] |
self._config = None |
@@ -96,13 +96,17 @@ class GitKernel(git.InstallableGitRepo): |
self._build = os.path.join(host.get_tmp_dir(), "build") |
logging.warning('Builddir %s is not persistent (it will be erased ' |
'in future jobs)', self._build) |
+ else: |
+ self._build = builddir |
# push source to host for install |
logging.info('Pushing %s to host', self.source_material) |
host.send_file(self.source_material, self._build) |
+ remote_source_material= os.path.join(self._build, |
+ os.path.basename(self.source_material)) |
# use a source_kernel to configure, patch, build and install. |
- sk = source_kernel.SourceKernel(self._build) |
+ sk = source_kernel.SourceKernel(remote_source_material) |
if build: |
# apply patches |