X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fregistry%2Fhelm_registry.ml;h=64277415f7186984e929326c11bd6ef087c6d210;hb=935efd051844dd7877207c7917eb73016b7c8bc5;hp=3753232b6a01d1da8f00f2f9a1044d7aebda1d95;hpb=876f16ec4e9080bad4e39bd9c203d6529dcf4f56;p=helm.git diff --git a/helm/software/components/registry/helm_registry.ml b/helm/software/components/registry/helm_registry.ml index 3753232b6..64277415f 100644 --- a/helm/software/components/registry/helm_registry.ml +++ b/helm/software/components/registry/helm_registry.ml @@ -133,7 +133,7 @@ let set' ?(replace=false) registry ~key ~value = let unset registry = Hashtbl.remove registry -let env_var_of_key = Str.global_replace dot_rex "__" +let env_var_of_key s = String.uppercase (Str.global_replace dot_rex "_" s) let singleton = function | [] ->