Skip to content
Draft
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
14 changes: 0 additions & 14 deletions configs/running-jikesrvm-marksweep-compare.yml

This file was deleted.

14 changes: 0 additions & 14 deletions configs/running-jikesrvm-nogc-compare.yml

This file was deleted.

14 changes: 0 additions & 14 deletions configs/running-jikesrvm-semispace-compare.yml

This file was deleted.

6 changes: 6 additions & 0 deletions configs/running-openjdk-concurrentimmix-compare.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
includes:
- "./running-openjdk-base.yml"

configs:
- "jdk-mmtk-trunk|concurrentimmix|common_mmtk"
- "jdk-mmtk-branch|concurrentimmix|common_mmtk"
6 changes: 6 additions & 0 deletions configs/running-openjdk-lisp2-compare.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
includes:
- "./running-openjdk-base.yml"

configs:
- "jdk-mmtk-trunk|lisp2|common_mmtk"
- "jdk-mmtk-branch|lisp2|common_mmtk"
6 changes: 6 additions & 0 deletions configs/running-openjdk-ovc-compare.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
includes:
- "./running-openjdk-base.yml"

configs:
- "jdk-mmtk-trunk|ovc|common_mmtk"
- "jdk-mmtk-branch|ovc|common_mmtk"
22 changes: 21 additions & 1 deletion scripts/common.sh
Original file line number Diff line number Diff line change
Expand Up @@ -373,7 +373,27 @@ commit_result_repo() {
git add .
git commit -m "$message"
git pull --rebase # pull any new commit (if any)
git push
git push
else
echo "SKIP_UPLOAD_RESULT is set, skip uploading result"
fi
}

# commit_result_repo_at 'dest_dir' 'message'
# Like commit_result_repo, but commits/pushes an explicit dest_dir (as set up
# by checkout_result_repo_at) instead of the single global $result_repo_dir -
# for callers that check out more than one branch of the result repo at once.
commit_result_repo_at() {
dest_dir=$1
message=$2

if [[ -z $SKIP_UPLOAD_RESULT ]]; then
cd $dest_dir

git add .
git commit -m "$message"
git pull --rebase # pull any new commit (if any)
git push
else
echo "SKIP_UPLOAD_RESULT is set, skip uploading result"
fi
Expand Down
Loading