https://pantsbuild.org/ logo
#general
Title
# general
h

happy-kitchen-89482

02/17/2017, 7:32 PM
If they did go in the chroot the source trees would get merged into a single one, so presumably this problem wouldn’t occur...