Project

General

Profile

« Previous | Next » 

Revision ac6ce5a1

Added by LĂ©lio Brun over 2 years ago

disable tests in gitlab CI

View differences:

src/options_management.ml
11 11
open Options
12 12

  
13 13
let print_version () =
14
  Format.printf "Lustrec compiler, version %s (%s)@." version (codename ());
14
  Format.printf "Lustrec compiler, version %s (%s)@." version codename;
15 15
  Format.printf "Standard lib: %s@." Version.include_path;
16 16
  Format.printf "User provided include directory: @[<h>%a@]@."
17 17
    (Utils.fprintf_list ~sep:"@ " Format.pp_print_string) !include_dirs

Also available in: Unified diff