diff options
author | Philipp Wollermann <philwo@google.com> | 2017-03-24 20:40:02 +0000 |
---|---|---|
committer | Philipp Wollermann <philwo@google.com> | 2017-03-27 11:36:24 +0000 |
commit | ebd04a4bd80706251190ad5fca4c7a54dabcd8a1 (patch) | |
tree | 90ddac88cccdab604612dc41cadf8bdf94cea54f /src/main/java/com/google/devtools/build/lib/packages/Attribute.java | |
parent | 177429ea5d91b56e5b4355d075b06b585b98b923 (diff) |
sandbox: Show the actual running sandbox strategy for actions.
This allows us to see for example whether an action ran using the
"process wrapper + symlink tree" sandbox or the real "PID and mount
namespaces" Linux sandbox.
--
PiperOrigin-RevId: 151165170
MOS_MIGRATED_REVID=151165170
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/packages/Attribute.java')
0 files changed, 0 insertions, 0 deletions