diff --git a/_oasis b/_oasis index 1d02eee1..7fe06994 100644 --- a/_oasis +++ b/_oasis @@ -149,12 +149,12 @@ Document containers_advanced XOCamlbuildPath: . XOCamlbuildLibraries: containers.advanced -Executable benchs +Executable run_benchs Path: benchs/ Install: false CompiledObject: native Build$: flag(bench) - MainIs: benchs.ml + MainIs: run_benchs.ml BuildDepends: containers,benchmark Executable bench_tbl diff --git a/benchs/benchs.ml b/benchs/run_benchs.ml similarity index 100% rename from benchs/benchs.ml rename to benchs/run_benchs.ml