diff options
| author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-09-11 14:12:08 +0200 |
|---|---|---|
| committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-09-27 15:15:36 +0200 |
| commit | 629c23920183ab22c98a85aa697f356ba7e34c8c (patch) | |
| tree | b63d825f05424e564e69dc7608e39f2330d79441 /configure | |
| parent | 222a3b1d57479c461835c62b20b738b0c6ff8bd2 (diff) | |
| download | ocaml-629c23920183ab22c98a85aa697f356ba7e34c8c.tar.gz | |
Make more config vars visible to the whole build system and use them
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions