diff options
author | Hans Hagen <pragma@wxs.nl> | 2022-11-18 14:22:11 +0100 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2022-11-18 14:22:11 +0100 |
commit | 2593c827482f6c5a315d504cd5316879d6172656 (patch) | |
tree | b696bd4e414c49230068ef8b8e4efed48f75d37f /source/luametatex/CMakeLists.txt | |
parent | 08473f11287cb263079c0435068312cbc6d736e8 (diff) | |
download | context-2593c827482f6c5a315d504cd5316879d6172656.tar.gz |
2022-11-18 13:17:00
Diffstat (limited to 'source/luametatex/CMakeLists.txt')
-rw-r--r-- | source/luametatex/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source/luametatex/CMakeLists.txt b/source/luametatex/CMakeLists.txt index 13a7770c5..29553c701 100644 --- a/source/luametatex/CMakeLists.txt +++ b/source/luametatex/CMakeLists.txt @@ -194,7 +194,7 @@ if ((DEFINED LMT_HB_TOO)) add_definitions(-DLMT_HB_TOO=1) endif() -# This needs cmake >= 3.9 and produces a 60K smaller mingw binary but it take quite a bit or +# This needs cmake >= 3.9 and produces a 60K smaller mingw binary but it take quite a bit of # runtime to get there so it should become an option (apart from testing on all builders). if (DEFINED LMT_OPTIMIZE) |