From c42f7a633bd81d5485c728ba49c3d17ac54feb63 Mon Sep 17 00:00:00 2001 From: 1138-4EB <1138-4EB@users.noreply.github.com> Date: Tue, 9 Jul 2019 18:37:55 +0200 Subject: fix: *gcc* build and run docker images are now named *gcc (#865) --- dist/travis/travis-ci.sh | 27 ++++++++++++++++++--------- 1 file changed, 18 insertions(+), 9 deletions(-) (limited to 'dist') diff --git a/dist/travis/travis-ci.sh b/dist/travis/travis-ci.sh index 664412a76..44ca82569 100755 --- a/dist/travis/travis-ci.sh +++ b/dist/travis/travis-ci.sh @@ -2,9 +2,9 @@ # 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-<