#!/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