get_source.sh from ssh://host//path

[Weijun Wang]

Hi All

I'm trying to clone jdk9 from one of my machines to another using ssh. 
The source was at ssh://host//space/jdk9/dev. Please note the double 
slash before "space" because it's not under my $HOME.

Now I can clone the dev repo but if I go inside and call "sh 
get_source.sh", it shows trying to get a sub-repo from somewhere like

    ssh://host/space/jdk9/dev/corba
              ^  <-- only one slash

and the error "remote: abort: there is no Mercurial repository here" 
shows up.

What shall I do? Symlink the /space inside my $HOME on host? Or is it 
possible to enhance get_source.sh to deal with this?

Thanks
Max