| 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
 | 
| 
 |