X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Ffebootstrap.ml;h=3afb1bb4e641a540654291b690014c2cfc1055d4;hb=b8cea4656e5bf1b9e7bb2274ef968ea42b10e0df;hp=7e48206e88ac6e3f97a9cda80fbcb3a16c80074e;hpb=bdd7c861768637bbcafdf3f4474944bd4680e13f;p=febootstrap.git diff --git a/src/febootstrap.ml b/src/febootstrap.ml index 7e48206..3afb1bb 100644 --- a/src/febootstrap.ml +++ b/src/febootstrap.ml @@ -67,7 +67,7 @@ let () = List.flatten ( List.map ( fun pkg -> - let files = ph.ph_list_files pkg in + let files = ph.ph_list_files ~use_installed pkg in List.map (fun (filename, ft) -> filename, ft, pkg) files ) packages ) in @@ -320,7 +320,7 @@ let () = * original file from the package. *) else if config then ( - let outfile = ph.ph_get_file_from_package pkg path in + let outfile = ph.ph_get_file_from_package ~use_installed pkg path in (* Note that the output config file might not be a regular file. *) let statbuf = lstat outfile in