diff options
Diffstat (limited to 'dist/linux/create.sh')
-rw-r--r-- | dist/linux/create.sh | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/dist/linux/create.sh b/dist/linux/create.sh deleted file mode 100644 index aed834fa0..000000000 --- a/dist/linux/create.sh +++ /dev/null @@ -1,24 +0,0 @@ -#! /bin/sh -# This script is executed in the travis-ci environment. - -set -e - -. dist/linux/travis-utils.sh -. dist/ansi_color.sh -#disable_color - -scriptdir=$(dirname $0) - -for d in build run; do - currentdir="${scriptdir}/docker/$d" - for f in `ls $currentdir`; do - for tag in `grep -oP "FROM.*AS \K.*" ${currentdir}/$f`; do - echo "travis_fold:start:${f}-$tag" - travis_time_start - printf "$ANSI_BLUE[DOCKER build] ${d} : ${f} - ${tag}$ANSI_NOCOLOR\n" - docker build -t ghdl/${d}:${f}-${tag} --target $tag - < ${currentdir}/$f - travis_time_finish - echo "travis_fold:end:${f}-$tag" - done - done -done |