#!/bin/bash # # This script runs ci/build in a Docker container. if [ $# -eq 0 ] || [ ${1:-} = -h ] || [ ${1:-} = --help ]; then cat <