From dd829216cf41f673da0a69952c30e182cbf7a94e Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Mon, 16 Mar 2020 13:43:58 +0100 Subject: [PATCH] Do not generate context names in a clever way Now, we always require local siwtchse to set the name. Signed-off-by: Rudi Grinberg --- src/dune/workspace.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/dune/workspace.ml b/src/dune/workspace.ml index 02f3c4c3e304..3888b325a68a 100644 --- a/src/dune/workspace.ml +++ b/src/dune/workspace.ml @@ -187,7 +187,7 @@ module Context = struct match name with | Some s -> s | None -> ( - let name = Filename.basename switch ^ Common.fdo_suffix base in + let name = switch ^ Common.fdo_suffix base in match Context_name.of_string_opt name with | Some s -> s | None ->