Skip to content

Commit

Permalink
Added test data
Browse files Browse the repository at this point in the history
  • Loading branch information
benedikt-schesch committed May 12, 2024
1 parent c21e320 commit 412f5c0
Show file tree
Hide file tree
Showing 2 changed files with 15 additions and 4 deletions.
2 changes: 1 addition & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -134,7 +134,7 @@ clean-local:
check-merges-reproducibility:
@echo "Running replay_merge for each idx in parallel using GNU Parallel..."
@set -e; \
tail -n +2 $(CSV_RESULTS) | awk -F, '{print $$1}' | parallel --halt now,fail=1 -j 50% python3 src/python/replay_merge.py --merges_csv $(CSV_RESULTS) -delete_workdir --idx {}
tail -n +2 $(CSV_RESULTS) | awk -F, '{print $$1}' | parallel --halt now,fail=1 -j 50% python3 src/python/replay_merge.py --merges_csv $(CSV_RESULTS) -skip_build -delete_workdir --idx {}

protect-repos:
find repos -mindepth 1 -type d -exec chmod a-w {} +
Expand Down
17 changes: 14 additions & 3 deletions src/scripts/merge_tools/gitmerge_ort_adjacent.sh
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,20 @@ branch2=$3
export JAVA_HOME="$JAVA17_HOME"

cd "$clone_dir" || exit 1
if ! "$MERGE_SCRIPTS_DIR"/resolve-adjacent-conflicts; then
echo "gitmerge_ort_adjacent.sh: Conflict"
exit 1

git checkout "$branch1" --force

attributes_file=".git/info/attributes"
echo "*.java merge=merge-java" >> "$attributes_file"
git config --local merge.merge-java.name "Merge Java files"
git config --local merge.merge-java.driver 'java-merge-driver.sh "%A" "%O" "%B" --only-adjacent'

git merge --no-edit "$branch2"
retVal=$?

# report conflicts
if [ "$retVal" -ne 0 ]; then
echo "Conflict"
fi

exit "$retVal"

0 comments on commit 412f5c0

Please sign in to comment.