aboutsummaryrefslogtreecommitdiff
path: root/dune
diff options
context:
space:
mode:
authorEmilio Jesus Gallego Arias2020-01-16 19:16:36 +0100
committerEmilio Jesus Gallego Arias2020-01-16 19:32:59 +0100
commit5dc3efa19bf27613a8441c43b68121d222cdc675 (patch)
tree967f3e59d061535cbe5ad995ec5f780a3427dc88 /dune
parent404a24241e3ff89994aa48524d2b34dcb4773300 (diff)
[mltop] Store digest of modules used to compile files.
This should allow digest-based builds to work correctly. Fixes #10874 For now, we store the digest of the module selected, this means that vo files loading modules will have different digests depending on whether the `native` or `byte` version was used. If that is a problem we can improve this tho; for example we could disable the digest in those cases. The code could be better, and indeed `Mltop` could enjoy a nice cleanup, I will likely do some when I add support for `Fl_dynload`.
Diffstat (limited to 'dune')
0 files changed, 0 insertions, 0 deletions