aboutsummaryrefslogtreecommitdiff
path: root/kernel/cemitcodes.ml
diff options
context:
space:
mode:
authorEmilio Jesus Gallego Arias2020-05-17 13:23:03 +0200
committerGaƫtan Gilbert2020-05-18 14:07:12 +0200
commit3decaca622bd0005c861000529c9b006f1b6a7d7 (patch)
tree0a02eeb75c91511d173939bb95844ce48b944f6e /kernel/cemitcodes.ml
parent7da245bd2db7496628645a43965e5df966234fd5 (diff)
[azure OSX] Export OCAMLPATH so test-suite sees OCaml libs
This is akin to what we do for Gitlab.
Diffstat (limited to 'kernel/cemitcodes.ml')
0 files changed, 0 insertions, 0 deletions