diff options
| author | Emilio Jesus Gallego Arias | 2018-10-10 13:34:44 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-10-10 15:54:51 +0200 |
| commit | 95f751136ba3a8f8c2544d8d7d48125c52030836 (patch) | |
| tree | 51547819395d4f6798a9c2368c85fb521e820657 /kernel/nativecode.ml | |
| parent | ea38cc10b1b3d81e2346de6b95076733ef4fd7bb (diff) | |
[test-suite] Don't reset `OCAMLPATH`, but append to it.
This fixes an obvious bug introduced in #8602.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions