##// END OF EJS Templates
update: introduce --tool for controlling the merge tool...
update: introduce --tool for controlling the merge tool Update is a kind of merge and may also need a merge tool and should have the options described in the merge-tools help.

File last commit:

r21255:62a27498 default
r21552:61151f42 default
Show More
dockerrpm
14 lines | 395 B | text/plain | TextLexer
#!/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/"