diff options
| author | David Allsopp <david.allsopp@metastack.com> | 2021-07-05 12:34:57 +0100 |
|---|---|---|
| committer | David Allsopp <david.allsopp@metastack.com> | 2021-07-05 12:34:57 +0100 |
| commit | 1c7e469f21b60043700c3ba5ce54155607f6f95f (patch) | |
| tree | 14e3277daf51a6f7fb00ad4c5197afa8644fa5ce /api_docgen | |
| parent | 88676f6db6b458cb77d3525c07b175c25dfc4f88 (diff) | |
| download | ocaml-1c7e469f21b60043700c3ba5ce54155607f6f95f.tar.gz | |
Compute STDLIB_MODULES with a C auxiliary
Eliminates the dependency on many invocations of `tr` and `cut` to a
single invocation of a C auxiliary.
On Windows, the C auxiliary is considerably faster than the large number
of calls to tr and cut which were necessary in stdlib/StdlibModules.
Diffstat (limited to 'api_docgen')
| -rw-r--r-- | api_docgen/Makefile.common | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/api_docgen/Makefile.common b/api_docgen/Makefile.common index aab7c1cd32..e360da66d2 100644 --- a/api_docgen/Makefile.common +++ b/api_docgen/Makefile.common @@ -15,8 +15,8 @@ ROOTDIR = .. DOCGEN= $(ROOTDIR)/api_docgen --include $(ROOTDIR)/stdlib/StdlibModules include $(ROOTDIR)/Makefile.common +include $(ROOTDIR)/stdlib/StdlibModules include $(ROOTDIR)/Makefile.best_binaries include $(DOCGEN)/Makefile.docfiles |