1 #!/bin/bash

     2 

     3 BUILDDIR=$(dirname $0)

     4 ROOTDIR=$(cd $BUILDDIR/..; pwd)

     5 

     6 if which docker >> /dev/null ; then

     7   DOCKER=docker

     8 elif which docker.io >> /dev/null ; then

     9   DOCKER=docker.io

    10 fi

    11 

    12 $DOCKER build --tag "hg-dockerrpm-$1" - < $BUILDDIR/docker/$1

    13 $DOCKER run --rm -v $ROOTDIR:/hg "hg-dockerrpm-$1" bash -c \

    14     "cp -a hg hg-build; cd hg-build; make clean local $1; cp build/$1/* /hg/build/$1/"