Skip to content

Commit

Permalink
preserve existing extra-sources
Browse files Browse the repository at this point in the history
  • Loading branch information
hannesm committed May 23, 2024
1 parent 5c18ef7 commit 214520f
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion src/client/opamAdminCommand.ml
Original file line number Diff line number Diff line change
Expand Up @@ -520,7 +520,8 @@ let migrate_extrafiles_command cli =
in
OpamFilename.cleandir files_dir;
OpamFilename.rmdir_cleanup files_dir;
let opam1 = OpamFile.OPAM.with_extra_sources extra_sources opam in
let my_extra_sources = OpamFile.OPAM.extra_sources opam in
let opam1 = OpamFile.OPAM.with_extra_sources (my_extra_sources @ extra_sources) opam in
let opam1 = OpamFile.OPAM.with_extra_files_opt None opam1 in
OpamFile.OPAM.write_with_preserved_format opam_file opam1;
has_error)
Expand Down

0 comments on commit 214520f

Please sign in to comment.