Skip to content
This repository was archived by the owner on Oct 12, 2022. It is now read-only.
/ druntime Public archive
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions circle.yml
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@ test:
- make -f posix.mak style
- ./circleci.sh coverage:
parallel: true
timeout: 1200

post:
# CodeCov gets confused by stored .lst files
Expand Down
17 changes: 15 additions & 2 deletions circleci.sh
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,7 @@ set -uexo pipefail
HOST_DMD_VER=2.068.2 # same as in dmd/src/posix.mak
CURL_USER_AGENT="CirleCI $(curl --version | head -n 1)"
N=2
CIRCLE_NODE_INDEX=${CIRCLE_NODE_INDEX:-0}

case $CIRCLE_NODE_INDEX in
0) MODEL=64 ;;
Expand Down Expand Up @@ -39,7 +40,7 @@ clone() {
local path="$2"
local branch="$3"
for i in {0..4}; do
if git clone --depth=1 --branch "$branch" "$url" "$path"; then
if git clone --branch "$branch" "$url" "$path" "${@:4}"; then
break
elif [ $i -lt 4 ]; then
sleep $((1 << $i))
Expand All @@ -57,7 +58,19 @@ coverage() {
local base_branch=$CIRCLE_BRANCH
fi

clone https://github.com/dlang/dmd.git ../dmd $base_branch
# merge upstream branch with changes, s.t. we check with the latest changes
if [ -n "${CIRCLE_PR_NUMBER:-}" ]; then
local current_branch=$(git rev-parse --abbrev-ref HEAD)
git config user.name dummyuser
git config user.email dummyuser@dummyserver.com
git remote add upstream https://github.com/dlang/druntime.git
git fetch upstream
git checkout -f upstream/$base_branch
git merge -m "Automatic merge" $current_branch
fi


clone https://github.com/dlang/dmd.git ../dmd $base_branch --depth 1

# load environment for bootstrap compiler
source "$(CURL_USER_AGENT=\"$CURL_USER_AGENT\" bash ~/dlang/install.sh dmd-$HOST_DMD_VER --activate)"
Expand Down