Skip to content

Commit

Permalink
Merge branch 'main' into rae/merge-upstream-501
Browse files Browse the repository at this point in the history
  • Loading branch information
ncik-roberts committed Nov 13, 2023
2 parents 6779ca7 + 9abd12b commit d9ee605
Showing 1 changed file with 5 additions and 1 deletion.
6 changes: 5 additions & 1 deletion import-added-ocaml-source-files.sh
Original file line number Diff line number Diff line change
Expand Up @@ -42,6 +42,7 @@ function sorted_files_at_committish() {
git ls-tree -r --name-only "$1" | sort
}

git fetch "$repository" "$(cat upstream/ocaml_flambda/base-rev.txt)"
git fetch "$repository" "$commitish"
rev=$(git rev-parse FETCH_HEAD)

Expand All @@ -52,7 +53,10 @@ function files_new_at_fetch_head() {
}

function directories_from_previous_import() {
cd upstream/ocaml_flambda; ls -d */ | xargs -n 1 printf "^$subdirectory/%s\n"
comm -12 \
<(cd src/ocaml; ls -d */) \
<(cd upstream/ocaml_flambda; ls -d */) \
| xargs -n 1 printf "^$subdirectory/%s\n"
}

files=$(files_new_at_fetch_head | grep -f <(directories_from_previous_import))
Expand Down

0 comments on commit d9ee605

Please sign in to comment.