tree ed71da0a8d9aa30f404d87714e43e832eaddd365
parent a30a9b047de455a695ac63bafb861bd4ff547017
author Philipp Wollermann <philwo@google.com> 1533550861 +0200
committer Philipp Wollermann <philwo@google.com> 1533550863 +0200

Fix path to build directory for downstream projects

Fixes #5749.