diff options
author | Adam Michael <ajmichael@google.com> | 2017-03-02 14:59:21 +0000 |
---|---|---|
committer | Yue Gan <yueg@google.com> | 2017-03-03 10:35:47 +0000 |
commit | acdd43bf8832db562312c6b273687dd6f1d219b7 (patch) | |
tree | d384284c057790a4be281de70bc33c6eeb1d836b /site/BUILD | |
parent | 14b53897b499da457e26aa779c3b63c85838f204 (diff) |
Make HardlinkedExecRoot correctly mount empty directory inputs.
Fixes #2597
--
PiperOrigin-RevId: 148999160
MOS_MIGRATED_REVID=148999160
Diffstat (limited to 'site/BUILD')
0 files changed, 0 insertions, 0 deletions