X-Git-Url: http://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/978fd7e56b141f7e4c8930acdbf0a806489e63a5..f3c4ece655af618c34b793f1b3286baee09ccbf7:/globals/config.ml.in diff --git a/globals/config.ml.in b/globals/config.ml.in index 08fecb3..1d82836 100644 --- a/globals/config.ml.in +++ b/globals/config.ml.in @@ -1,8 +1,9 @@ -let version = "0.1.9-rc1" +let version = "1.0.0-rc6" -let path = - try (Sys.getenv "COCCINELLE_HOME") +let path = + try (Sys.getenv "COCCINELLE_HOME") with Not_found->"/usr/local/share/coccinelle" let std_iso = ref (Filename.concat path "standard.iso") let std_h = ref (Filename.concat path "standard.h") +