X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=main.ml;h=c42b1c2f1c2f7aeceeb1e17d8419f61972f26f65;hb=a9f606051125de2acc9140074f91054755fa67b4;hp=2d4057d4283301ddc596c3c1550230d2b68d42a7;hpb=a4ec1d7553194ce810c554b91f81c13591b606dd;p=vsys.git diff --git a/main.ml b/main.ml index 2d4057d..c42b1c2 100644 --- a/main.ml +++ b/main.ml @@ -18,7 +18,7 @@ let cmdspeclist = let cont = ref true let _ = - printf "Vsys v0.4\n";flush stdout; + printf "Vsys v%s\n" Globals.vsys_version;flush stdout; Arg.parse cmdspeclist (fun x->()) "Usage: vsys "; if (!Globals.backend == "" || !input_file_list == []) then printf "Try vsys --help\n"