重命名为 chsrc_use_this_source()

This commit is contained in:
Aoran Zeng
2025-08-22 14:40:25 +08:00
parent c8818e4923
commit 64924a7ffc
56 changed files with 59 additions and 59 deletions

View File

@@ -51,7 +51,7 @@ pl_ocaml_setsrc (char *option)
{
pl_ocaml_check_cmd ();
use_this_source(pl_ocaml);
chsrc_use_this_source (pl_ocaml);
char *cmd = xy_strcat (3, "opam repo set-url default ",
source.url,