Merge pull request #1202 from aanand/jenkins-script
WIP: Jenkins script
(cherry picked from commit 853ce255ea)
Signed-off-by: Aanand Prasad <aanand.prasad@gmail.com>
This commit is contained in:
parent
e4e802d1f8
commit
78227c3c06
6 changed files with 44 additions and 12 deletions
|
|
@ -4,7 +4,7 @@ if [ "$DOCKER_VERSION" == "" ]; then
|
|||
DOCKER_VERSION="1.5.0"
|
||||
fi
|
||||
|
||||
ln -s "/usr/local/bin/docker-$DOCKER_VERSION" "/usr/local/bin/docker"
|
||||
ln -fs "/usr/local/bin/docker-$DOCKER_VERSION" "/usr/local/bin/docker"
|
||||
|
||||
# If a pidfile is still around (for example after a container restart),
|
||||
# delete it so that docker can start.
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue