Giacomo Vercesi 5d582a2eec fetch-debuginfo: improve cache folder handling ...

Rework how the cache folder for debug information is handled. This
commit introduces an additional environment variable, `REVNG_CACHE_DIR`
that allows overriding where semi-disposable files will be stored.

2023-05-24 11:09:04 +02:00

..

_commands

fetch-debuginfo: improve cache folder handling

2023-05-24 11:09:04 +02:00

__init__.py

Turn Python scripts into modules

2022-02-23 18:02:42 +01:00

commands_registry.py

PipelineC: add tracing

2023-04-20 14:43:13 +02:00

revng.py

revng: fix executable/shebang in scripts

2023-05-11 10:02:46 +02:00

support.py

revng.support: Rework process invocation

2023-05-09 17:27:00 +02:00