Fix typos in tools/ci/inria/main

master
Sébastien Hinderer 2018-07-24 18:26:06 +02:00
parent b19bc0edf4
commit cc2b15ee3f
1 changed files with 2 additions and 2 deletions

View File

@ -18,11 +18,11 @@
# from scratch and run the test suite.
# To know the slave's architecture, this script looks at the OCAML_ARCH
# environment variable. For a given node NODe, this variable can be defined
# environment variable. For a given node NODE, this variable can be defined
# in Jenkins at the following address:
# https://ci.inria.fr/ocaml/computer/NODE/configure
# Other environments variables that are honored:
# Other environment variables that are honored:
# OCAML_CONFIGURE_OPTIONS additional options for configure
# OCAML_JOBS number of jobs to run in parallel (make -j)