Commits

Dmitry Grebeniuk  committed a0d7f12 Draft

.

  • Participants
  • Parent commits cadb9d2

Comments (0)

Files changed (1)

File src/post_template.ml

                   let () = cachedbg "package %S is local, path %S"
                     pkg_name path
                   in
-                  `Local path
+                  `DLocal path
               | `Remote dlfunc ->
                   let () = cachedbg "package %S is remote, downloading"
                     pkg_name
                   let path = dlfunc ~dl_dest:dest in
                   let () = cachedbg "package %S downloaded to %S"
                     pkg_name path in
-                  `Remote path
+                  `DRemote path
             in
             let local_name =
               match is_local_and_path with
-              | `Local p | `Remote p -> p
+              | `DLocal p | `DRemote p -> p
             in
             let () = cachedbg "extracting %S to %S" local_name dest
             in
             let r = s_extract ~path:local_name ~dest in
             let () =
               match is_local_and_path with
-              | `Remote local_name ->
+              | `DRemote local_name ->
                   begin
                   match s_kind with
                   | `File ->
                         in
                         Reb_sys.rm_rf local_name
                   end
-              | `Local _local_name ->
+              | `DLocal _local_name ->
                   let () = cachedbg "package %S was local, not cleaning"
                     pkg_name
                   in