aboutsummaryrefslogtreecommitdiff
path: root/doc/plugin_tutorial/tuto1/src
diff options
context:
space:
mode:
authorEmilio Jesus Gallego Arias2019-02-17 01:03:12 +0100
committerEmilio Jesus Gallego Arias2019-02-20 13:34:15 +0100
commit565a30614c6df16466f66cac1e517f9202612709 (patch)
tree4deae898a650f25eb0288f7bfc1df0b151e9c9d2 /doc/plugin_tutorial/tuto1/src
parent756b978dfee0e0c103a5244af21115233ad96358 (diff)
[azure] [ci] Build on Windows using Dune.
We may want to keep the make-based and Dune job, however the make-based setup is tested by the INRIA workers so it may not be needed. In order for some test to run well, we always run in Dune with an absolute path. The easiest way to get a portable absolute path is to use OCaml itself so we introduce a small executable to do that. While we are at it, we do some cleanup of the test-suite `dune` file, in particular we remove useless comments, set `--no-buffer` so results can be seen in real time, and recognize the `NJOBS` variable as we have moved to a Dune version that supports env vars.
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src')
0 files changed, 0 insertions, 0 deletions