diff options
| author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-08-24 11:08:42 +0200 |
|---|---|---|
| committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-09-07 11:29:40 +0200 |
| commit | 70d1208ab16ecedb09513088e1aaa1ede4e88f97 (patch) | |
| tree | 6d88518de768ef3b67fdb10e61a82fa39ed0896f /.gitignore | |
| parent | 84538f7521cbca5ad95f76efd2080fee97acc2f9 (diff) | |
| download | ocaml-70d1208ab16ecedb09513088e1aaa1ede4e88f97.tar.gz | |
ocamltest: determine ocamlsrcdir during configure rather than during build
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 5b49c11b06..5b8ccaf65e 100644 --- a/.gitignore +++ b/.gitignore @@ -129,6 +129,7 @@ META /ocamltest/ocamltest /ocamltest/ocamltest.opt /ocamltest/ocamltest_config.ml +/ocamltest/ocamltest_config.mlp /ocamltest/ocamltest_unix.ml /ocamltest/tsl_lexer.ml /ocamltest/tsl_parser.ml |