diff options
author | Hans Hagen <pragma@wxs.nl> | 2023-05-05 19:33:15 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2023-05-05 19:33:15 +0200 |
commit | cc6d486ffa3fad4ffb698ad5ccbd5c5f4ebc6a00 (patch) | |
tree | 787c75ff830863d992f7301542a00be25b032dbf /source/luametatex/build.sh | |
parent | a0e79ce94348b934dcefc38133cd8fed08bd38e3 (diff) | |
download | context-cc6d486ffa3fad4ffb698ad5ccbd5c5f4ebc6a00.tar.gz |
2023-05-05 18:39:00
Diffstat (limited to 'source/luametatex/build.sh')
-rw-r--r-- | source/luametatex/build.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/source/luametatex/build.sh b/source/luametatex/build.sh index a8a834a7c..612092e7a 100644 --- a/source/luametatex/build.sh +++ b/source/luametatex/build.sh @@ -20,9 +20,9 @@ #NINJA=$(which ninja); #if (NINJA) then -# NINJA="-G Ninja"
-#else
- NINJA=""
+# NINJA="-G Ninja" +#else + NINJA="" #fi if [ "$1" = "mingw-64" ] || [ "$1" = "mingw64" ] || [ "$1" = "mingw" ] || [ "$1" == "--mingw64" ] |