mirror of
https://github.com/keymanapp/keyman.git
synced 2026-08-05 08:25:32 +00:00
7b13f0fcbc
There were two issues arising from #15493 - first, `$KEYMAN_SYMSTOREPATH` was set too late, after the build, and second, symsrv renames `000admin` to `000Admin` but we need to keep it lowercase for our deployment server, so rename it back just in time before uploading. As tidy-up, given that the folder name `000admin` is static and never changes, removed the parameter and hard-coded it instead. * export `$KEYMAN_SYMSTOREPATH` before build * define `000admin` folder explicitly and deprecate --symbols-subdir parameter * rename `000Admin` to `000admin` before upload Fixes: #14837 Follows: #15493 Test-bot: skip |
||
|---|---|---|
| .. | ||
| build | ||
| devbox/macos | ||
| docker-images | ||
| git-hooks | ||
| gosh | ||
| scopes | ||
| standards-data | ||
| stats | ||
| teamcity | ||
| tools | ||
| build.sh | ||
| builder.inc.sh | ||
| builder_completion.inc.sh | ||
| locate_emscripten.inc.sh | ||