diff options
| author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2021-10-08 11:19:01 +0200 |
|---|---|---|
| committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2021-10-08 11:19:01 +0200 |
| commit | e9eb2fb5f08d2c9cf153858d43ec042444adf6c6 (patch) | |
| tree | 6957b2fc4de4d39af37a147ecb8f1490521db1bb /build-aux | |
| parent | 45612f14afc1abaa19d8585ec1f48c3cbbfbc652 (diff) | |
| download | ocaml-e9eb2fb5f08d2c9cf153858d43ec042444adf6c6.tar.gz | |
Restore the -native option in Inria CI'sother-configs job
This got removed in 8f713c59f7732d1547e06eea5775b42c9ea56da7 but it was
wrong to remove it.
Diffstat (limited to 'build-aux')
0 files changed, 0 insertions, 0 deletions