Skip to content

Commit

Permalink
refactor(pkg): fetch with --no-write-fetch-head (#10066)
Browse files Browse the repository at this point in the history
This file is going to be over-written by other fetches anyway

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
  • Loading branch information
rgrinberg authored Feb 19, 2024
1 parent 99f47c9 commit 9dd29f7
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 2 deletions.
7 changes: 6 additions & 1 deletion src/dune_pkg/rev_store.ml
Original file line number Diff line number Diff line change
Expand Up @@ -663,7 +663,12 @@ module Remote = struct
type uninit = t

let update ({ repo; handle; source = _; default_branch = _; add_remote = _ } as t) =
let+ () = run repo ~display:!Dune_engine.Clflags.display [ "fetch"; handle ] in
let+ () =
run
repo
~display:!Dune_engine.Clflags.display
[ "fetch"; "--no-write-fetch-head"; handle ]
in
t
;;

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,6 @@ Make a mock repo tarball that will get used by dune to download the package
Our cache folder should be populated with a revision store:

$ find $XDG_CACHE_HOME | grep HEAD | sort
$TESTCASE_ROOT/.cache/dune/git-repo/FETCH_HEAD
$TESTCASE_ROOT/.cache/dune/git-repo/HEAD

Make sure lock.dune contains the repo hash:
Expand Down

0 comments on commit 9dd29f7

Please sign in to comment.