author | Gregory Szorc <gregory.szorc@gmail.com> |
Tue, 22 Apr 2014 11:44:34 -0700 | |
changeset 21510 | 97127c4ce460 |
parent 21255 | 62a2749895e4 |
child 21561 | f1bcc33a5c52 |
permissions | -rwxr-xr-x |
#!/bin/bash BUILDDIR=$(dirname $0) ROOTDIR=$(cd $BUILDDIR/..; pwd) if which docker >> /dev/null ; then DOCKER=docker elif which docker.io >> /dev/null ; then DOCKER=docker.io fi $DOCKER build --tag "hg-dockerrpm-$1" - < $BUILDDIR/docker/$1 $DOCKER run --rm -v $ROOTDIR:/hg "hg-dockerrpm-$1" bash -c \ "cp -a hg hg-build; cd hg-build; make clean local $1; cp build/$1/* /hg/build/$1/"