diff options
| author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-08-24 12:47:22 +0200 |
|---|---|---|
| committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-09-07 11:30:34 +0200 |
| commit | 9cd641d6e9f390b9900c63847b7d442f9bbc9370 (patch) | |
| tree | c3ad18e9779e1bc9fbb9d673f5d756aa1a4088fc /.gitignore | |
| parent | 442784a88d19c667a84d2be4588d4b567a69d099 (diff) | |
| download | ocaml-9cd641d6e9f390b9900c63847b7d442f9bbc9370.tar.gz | |
Generate ocamltest/ocamltest_config.ml during configure rather than build
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index 5b8ccaf65e..5b49c11b06 100644 --- a/.gitignore +++ b/.gitignore @@ -129,7 +129,6 @@ 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 |