From bd8392dfe56d7cf1c232848c7dd7f59b18b6a7cf Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 13 Nov 2014 21:40:17 +0100 Subject: [PATCH] rename benchs.ml into run_benchs.ml --- _oasis | 4 ++-- benchs/{benchs.ml => run_benchs.ml} | 0 2 files changed, 2 insertions(+), 2 deletions(-) rename benchs/{benchs.ml => run_benchs.ml} (100%) 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