diff options
| author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2018-05-27 06:46:52 +0200 |
|---|---|---|
| committer | 1138-4EB <1138-4EB@users.noreply.github.com> | 2018-05-27 08:42:08 +0200 |
| commit | feeb46d236b532eaf6e4b4f48925467a3573a207 (patch) | |
| tree | 65f0506d3f7fa856ddf92434956d450ca65ca421 /dist/linux/create.sh | |
| parent | b350596efe2ff4da88b25de862d5ed4931386a46 (diff) | |
| download | ghdl-feeb46d236b532eaf6e4b4f48925467a3573a207.tar.gz ghdl-feeb46d236b532eaf6e4b4f48925467a3573a207.tar.bz2 ghdl-feeb46d236b532eaf6e4b4f48925467a3573a207.zip | |
move docker-related resources to ghdl/docker
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 |