mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-08-04 14:46:03 +00:00
More work on slang compilation
This commit is contained in:
parent
8142a84573
commit
72e88fccd7
4 changed files with 84 additions and 5 deletions
1
setup.py
1
setup.py
|
|
@ -1218,6 +1218,7 @@ def build_shaders(args: Options) -> None:
|
|||
needed = []
|
||||
for (needs_build, desc, cmd) in cmds:
|
||||
if needs_build:
|
||||
desc = re.sub(r'\|(.+?)\|', lambda m: emphasis(m.group(1)), desc)
|
||||
needed.append(Command(desc, cmd, lambda: True))
|
||||
parallel_run(needed)
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue