X-Git-Url: http://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/fc1ad9719a3a6317b3a4749dac68e7272a3617db..f3c4ece655af618c34b793f1b3286baee09ccbf7:/globals/config.ml.in diff --git a/globals/config.ml.in b/globals/config.ml.in index 0a446d5..1d82836 100644 --- a/globals/config.ml.in +++ b/globals/config.ml.in @@ -1,8 +1,9 @@ -let version = "0.1.10" +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") +