diff options
| author | Tristan Gingold <tgingold@free.fr> | 2017-08-17 07:36:01 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2017-08-17 07:36:01 +0200 |
| commit | 8b18c354be419a2d3022a70d763fc7a5470fea44 (patch) | |
| tree | 4f01c8c23107b58874bd2f1f628b8744b4aca3d4 /dist/linux/docker-buildtest.sh | |
| parent | 16229d80d577d320a600b32f67f4767d763dfc4d (diff) | |
| download | ghdl-8b18c354be419a2d3022a70d763fc7a5470fea44.tar.gz ghdl-8b18c354be419a2d3022a70d763fc7a5470fea44.tar.bz2 ghdl-8b18c354be419a2d3022a70d763fc7a5470fea44.zip | |
travis-ci: try build on macos x
Diffstat (limited to 'dist/linux/docker-buildtest.sh')
| -rwxr-xr-x | dist/linux/docker-buildtest.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dist/linux/docker-buildtest.sh b/dist/linux/docker-buildtest.sh index a3f38a32c..f34fc246d 100755 --- a/dist/linux/docker-buildtest.sh +++ b/dist/linux/docker-buildtest.sh @@ -53,7 +53,7 @@ if [ -n "$GRAB_SRCS" ]; then p="$p && mv ghdl-master/* ./ && rm -rf ghdl-master" set +e - docker run --name ghdl_cmp -t "$DOCKER_IMG" sh -c "$p &&./dist/linux/buildtest.sh $ENABLECOLOR-t $TASK -b $BLD -f $PKG_FILE" + docker run --name ghdl_cmp -t "$DOCKER_IMG" sh -c "$p &&./dist/linux/buildtest.sh $ENABLECOLOR -t $TASK -b $BLD -f $PKG_FILE" docker cp "ghdl_cmp:/work/log.log" "./log.log" set -e docker cp "ghdl_cmp:/work/$PKG_FILE" ./ @@ -61,6 +61,6 @@ if [ -n "$GRAB_SRCS" ]; then else - docker run --rm -tv $(pwd):/work:Z -w="/work" "$DOCKER_IMG" sh -c "./dist/linux/buildtest.sh $ENABLECOLOR-t $TASK -b $BLD -f $PKG_FILE" + docker run --rm -tv $(pwd):/work:Z -w="/work" "$DOCKER_IMG" sh -c "./dist/linux/buildtest.sh $ENABLECOLOR -t $TASK -b $BLD -f $PKG_FILE" fi |