#! /bin/bash # This script is executed in the travis-ci environment. build_img_ghdl() { travis_start "build_run" "$ANSI_BLUE[DOCKER build] ghdl/ghdl:${IMAGE_TAG}$ANSI_NOCOLOR" docker build -t ghdl/ghdl:$IMAGE_TAG . -f-<