admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix revng script bug

Browse Source
This commit is contained in:
Alessandro Di Federico
2022-02-23 14:58:36 +01:00
parent 11a9314dd6
commit 5f84456bc3
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/scripts/revng
+1 -1
View File
@@ -17,7 +17,7 @@ sys.path.insert(0, python_libs_dir)
prev_pythonpath = os.environ.get("PYTHONPATH")
os.environ["PYTHONPATH"] = python_libs_dir
if prev_pythonpath:
os.environ["PYTHONPATH"] += ":" + os.environ["PYTHONPATH"]
os.environ["PYTHONPATH"] += ":" + prev_pythonpath
from revng.cli.translate import register_translate, run_translate
from revng.cli.support import build_command_with_loads, set_verbose, get_command, run, log_error