mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-08-03 22:25:57 +00:00
Port recent changes from cli.py to Go
This commit is contained in:
parent
9d56f8eed2
commit
7bb310d3af
3 changed files with 30 additions and 3 deletions
2
setup.py
2
setup.py
|
|
@ -883,7 +883,7 @@ def update_go_generated_files(args: Options, kitty_exe: str) -> None:
|
|||
rc_sources = [x for x in glob.glob('kitty/rc/*.py') if os.path.basename(x) not in ('base.py', '__init__.py')]
|
||||
rc_objects = glob.glob('tools/cmd/at/*_generated.go')
|
||||
generated = rc_objects + glob.glob('constants_generated.go')
|
||||
sources = ['gen-rc-go.py', 'kitty/constants.py', 'setup.py', 'tools/cmd/at/template.go'] + rc_sources
|
||||
sources = ['gen-rc-go.py', 'kitty/constants.py', 'setup.py', 'kitty/docs_ref_map_generated.h', 'tools/cmd/at/template.go'] + rc_sources
|
||||
if generated:
|
||||
oldest_generated = min(map(os.path.getmtime, generated))
|
||||
newest_source = max(map(os.path.getmtime, sources))
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue