diff options
| author | Théo Zimmermann | 2020-06-05 12:01:23 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-06-05 22:38:18 +0200 |
| commit | d930f65a4cd5dd5b9274c3872adbe8c58d303334 (patch) | |
| tree | 87c0c94a0c902459c57210a35c9541436e50b2ed /kernel/nativelambda.ml | |
| parent | 9c26e583668827bff5159e7671c406ace8b2f3ae (diff) | |
Fix Flocq build in Windows add-ons.
1. Fix casing of build_prep_overlay argument.
Follow-up of 6cc6b87f997d7a5e848203b49bfedfaa96c53bb2
2. Call autoconf directly.
Adapted from a9996619e2d2352e0e60faf4dbde78fa1549b2af
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions