diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2020-06-17 09:08:18 +0200 |
---|---|---|
committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2020-06-18 11:07:43 +0200 |
commit | a50d177c2a0a8a786c130af5b27748681d3410d1 (patch) | |
tree | 197abcbc35ef8c85222d9cd579a322ff293dbe26 /ocamltest/.depend | |
parent | b7d8a97e91218b99b425e380c1276dfcdfe53f7d (diff) | |
download | ocaml-a50d177c2a0a8a786c130af5b27748681d3410d1.tar.gz |
ocamltest: improve the way executable file extension is determined
Use the EXE build variable rather than OS type to determine the
extension of executable files
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 7ff9a790c0..1ef3922a8a 100644 --- a/ocamltest/.depend +++ b/ocamltest/.depend @@ -346,8 +346,10 @@ ocamltest_config.cmx : \ ocamltest_config.cmi ocamltest_config.cmi : ocamltest_stdlib.cmo : \ + ocamltest_config.cmi \ ocamltest_stdlib.cmi ocamltest_stdlib.cmx : \ + ocamltest_config.cmx \ ocamltest_stdlib.cmi ocamltest_stdlib.cmi : options.cmo : \ |