tree b3fb6eda78f27bceb7cecb25c0d2ad5264042b06
parent 944d664a0786efd51b68eb851d67a728aba18444
author Luca Milanesio <luca.milanesio@gmail.com> 1495176816 -0400
committer Luca Milanesio <luca.milanesio@gmail.com> 1495181325 +0000

Fix Jenkins CI master docker when creating ~/.ssh

The .ssh directory may already exist on the docker image.
Make its creation more resilient using the '-p'.

Change-Id: I34661923474a819a046a7ab78af5401dda75d26c