Skip to content
Browse files

[fix] database: Release mode compile fixes.

  • Loading branch information...
1 parent 86145c0 commit 50975e4353f0428230876049c7047d177824607e @nrs135 nrs135 committed with Louis Gesbert
Showing with 4 additions and 3 deletions.
  1. +3 −3 database/light/db_light.ml
  2. +1 −0 opabsl/mlbsl/badop_engine.ml
View
6 database/light/db_light.ml
@@ -600,12 +600,12 @@ let remove_tree t path =
Note that we can't export this yet because the Badop.S sig doesn't support it.
*)
-let direct_remove t path k =
+let direct_remove t _path k =
match getdbm t with
| Some dbm ->
(* TODO: delete file *)
- #<If$minlevel 10>Logger.log ~color:`yellow "DB-LIGHT : direct removing %s" (Path.to_string path)#<End>;
- (*if is2 path then*)
+ #<If$minlevel 10>Logger.log ~color:`yellow "DB-LIGHT : direct removing %s" (Path.to_string _path)#<End>;
+ (*if is2 _path then*)
(try DB.remove dbm k
with DB.DB_error s -> Logger.log ~color:`red "direct_remove: error %s" s) (*else ()*)
| None ->
View
1 opabsl/mlbsl/badop_engine.ml
@@ -212,6 +212,7 @@ let light_options name file_opt =
Badop.
lpath = (match file_opt with Some f -> f | None -> Badop_meta.default_file ?name ());
ondemand = None;
+ direct = None;
max_size = None;
}
in

0 comments on commit 50975e4

Please sign in to comment.
Something went wrong with that request. Please try again.