os/scripts/ci

#!/bin/bash
set -ex

cd $(dirname $0)/..

if [ -x "$(which wrapdocker)" ] && ! docker info >/dev/null 2>&1; then
    wrapdocker
fi

docker build -t ros-build-base -f Dockerfile.base .
docker build -t ros-build .
./scripts/docker-run.sh make -f Makefile.docker build-all
Initial commit 2015-02-09 04:38:37 +00:00			`#!/bin/bash`
build based on os-config.yml WIP: build scripts 2015-06-15 20:19:17 +00:00			`set -ex`
Initial commit 2015-02-09 04:38:37 +00:00
			`cd $(dirname $0)/..`

Start docker in CI 2015-03-14 23:07:39 +00:00			`if [ -x "$(which wrapdocker)" ] && ! docker info >/dev/null 2>&1; then`
Fix CI 2015-03-07 04:56:47 +00:00			`wrapdocker`
			`fi`

dind-less, make-based build system 2015-07-23 13:53:01 +00:00			`docker build -t ros-build-base -f Dockerfile.base .`
			`docker build -t ros-build .`
fix scripts/ci 2015-08-06 06:36:11 +00:00			`./scripts/docker-run.sh make -f Makefile.docker build-all`