summaryrefslogtreecommitdiff
path: root/ocamltest/.depend
diff options
context:
space:
mode:
authorSébastien Hinderer <Sebastien.Hinderer@inria.fr>2020-06-17 09:08:18 +0200
committerSébastien Hinderer <Sebastien.Hinderer@inria.fr>2020-06-18 11:07:43 +0200
commita50d177c2a0a8a786c130af5b27748681d3410d1 (patch)
tree197abcbc35ef8c85222d9cd579a322ff293dbe26 /ocamltest/.depend
parentb7d8a97e91218b99b425e380c1276dfcdfe53f7d (diff)
downloadocaml-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/.depend2
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 : \