From 8b18c354be419a2d3022a70d763fc7a5470fea44 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Thu, 17 Aug 2017 07:36:01 +0200 Subject: travis-ci: try build on macos x --- dist/linux/docker-buildtest.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'dist/linux/docker-buildtest.sh') 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 -- cgit v1.2.3