mirror of
https://github.com/JakeHillion/drgn.git
synced 2024-12-23 01:33:06 +00:00
388b6a1090
We get the version of drgn with pkg_resources.get_distribution() in two places: setup.py (when using an sdist) and the CLI. The former causes problems because in some cases, pip doesn't find the drgn distribution that's currently being built. The latter adds significant latency to startup. On my laptop, just importing pkg_resources takes 130 ms. We can solve both of these problems by generating a file containing the version instead. Signed-off-by: Omar Sandoval <osandov@osandov.com>
14 lines
148 B
Plaintext
14 lines
148 B
Plaintext
*.pyc
|
|
*.so
|
|
/.coverage
|
|
/.mypy_cache
|
|
/build
|
|
/coverage.info
|
|
/cscope.*
|
|
/dist
|
|
/docs/_build
|
|
/drgn.egg-info
|
|
/drgn/internal/version.py
|
|
/htmlcov
|
|
__pycache__
|