diff options
Diffstat (limited to 'src/febootstrap.ml')
| -rw-r--r-- | src/febootstrap.ml | 4 |
1 files changed, 2 insertions, 2 deletions
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 |