Skip to content

paths_dist.py should depends on gen_paths_dist.sh in Makefile

Begin arcbot message
This merge request is automatically copied from !488 (merged) orginally made by @andrii
End arcbot message

Should fix re-configuring paths problem when the same dist tree is used

Merge request reports