the caching problem that was added to work around). Closes: #588623
* Made much more robust in cases where multiple source files produce
conflicting files/directories in the destdir.
the caching problem that was added to work around). Closes: #588623
* Made much more robust in cases where multiple source files produce
conflicting files/directories in the destdir.