summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorDavid Allsopp <david.allsopp@metastack.com>2017-03-09 13:58:40 +0000
committerDavid Allsopp <david.allsopp@metastack.com>2017-04-09 19:00:06 +0200
commit80e7529be59f818f201586d2fbe05db85b62d3c5 (patch)
treedf85b37474aecee48ac9d2a53cbcac5a168d601b /configure
parent7ef4018bd7520bd0ac5f0fe61442dd0b40b03987 (diff)
downloadocaml-80e7529be59f818f201586d2fbe05db85b62d3c5.tar.gz
Fix installation of bytecode flexlink.exe
The bytecode version of flexlink.exe is compiled before camlheader is available, so it needs to have that prepended when it's installed.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions