the refactoring continues ...

[helm.git] / helm / software / helena / src / common / options.ml

diff --git a/helm/software/helena/src/common/options.ml b/helm/software/helena/src/common/options.ml
index c133bed7c1ece2954816935b5c2bf63ae485ee51..8cc200ad92b025b9063e171f6a6fe4782aecfbad 100644 (file)
--- a/helm/software/helena/src/common/options.ml
+++ b/helm/software/helena/src/common/options.ml
@@ -45,7 +45,7 @@ let kernel_id () =
       | Brg -> "brg"
       | Bag -> "bag"
    in
-   let si = if !si then "-si" else "" in
+   let si = if !si then "_si" else "" in
    id ^ si
 
 let get_baseuri () =