Show More
| @@ -3,10 +3,10 b'' | |||||
| 3 | BUILDDIR=$(dirname $0) |
|
3 | BUILDDIR=$(dirname $0) | |
| 4 | ROOTDIR=$(cd $BUILDDIR/..; pwd) |
|
4 | ROOTDIR=$(cd $BUILDDIR/..; pwd) | |
| 5 |
|
5 | |||
| 6 | if which docker >> /dev/null ; then |
|
6 | if which docker.io >> /dev/null ; then | |
|
|
7 | DOCKER=docker.io | |||
|
|
8 | elif which docker >> /dev/null ; then | |||
| 7 | DOCKER=docker |
|
9 | DOCKER=docker | |
| 8 | elif which docker.io >> /dev/null ; then |
|
|||
| 9 | DOCKER=docker.io |
|
|||
| 10 | fi |
|
10 | fi | |
| 11 |
|
11 | |||
| 12 | $DOCKER build --tag "hg-dockerrpm-$1" - < $BUILDDIR/docker/$1 |
|
12 | $DOCKER build --tag "hg-dockerrpm-$1" - < $BUILDDIR/docker/$1 | |
General Comments 0
You need to be logged in to leave comments.
Login now