diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-03-02 09:43:54 +0100 |
---|---|---|
committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-03-14 23:22:46 +0100 |
commit | 010df8419a2fca31d186e2a9866f7f1bf1a9ba86 (patch) | |
tree | 6a51de8c894dfa6a03bf26657ef4bc055c02a64a /ocamltest/.depend | |
parent | 43870b4276b709dbca3fff96beb4679beb747ee3 (diff) | |
download | ocaml-010df8419a2fca31d186e2a9866f7f1bf1a9ba86.tar.gz |
ocamltest should use the diff tool found by configure
Before this commit, ocamltest was using a hard-coded diff command.
With this commit, it rather relies on the diff tool as detected
during the configureation stage.
Diffstat (limited to 'ocamltest/.depend')
-rw-r--r-- | ocamltest/.depend | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ocamltest/.depend b/ocamltest/.depend index 83262d5562..dac34bc788 100644 --- a/ocamltest/.depend +++ b/ocamltest/.depend @@ -82,10 +82,12 @@ environments.cmi : \ filecompare.cmo : \ run_command.cmi \ ocamltest_stdlib.cmi \ + ocamltest_config.cmi \ filecompare.cmi filecompare.cmx : \ run_command.cmx \ ocamltest_stdlib.cmx \ + ocamltest_config.cmx \ filecompare.cmi filecompare.cmi : main.cmo : \ |