diff options
| author |  Philipp Wollermann <philwo@google.com> | 2016-10-21 11:20:40 +0000 |
|---|---|---|
| committer | Philipp Wollermann <philwo@google.com> | 2016-10-21 14:14:10 +0000 |
| commit | 3c0df83794201134f5ed38932240b6be0806254a (patch) | |
| tree | f39aad6d60a4f06f466f98154aac92007b4019ae /src/main | |
| parent | e1152a204b6660c4951a44bf7da477a311dbbea5 (diff) | |
Print a warning if the macOS sandbox is non functional.
--
MOS_MIGRATED_REVID=136818366
Diffstat (limited to 'src/main')
| -rw-r--r-- | src/main/java/com/google/devtools/build/lib/sandbox/SandboxActionContextProvider.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/sandbox/SandboxActionContextProvider.java b/src/main/java/com/google/devtools/build/lib/sandbox/SandboxActionContextProvider.java index 1efa8912a5..c8c0ab522b 100644 --- a/src/main/java/com/google/devtools/build/lib/sandbox/SandboxActionContextProvider.java +++ b/src/main/java/com/google/devtools/build/lib/sandbox/SandboxActionContextProvider.java @@ -72,6 +72,10 @@ final class SandboxActionContextProvider extends ActionContextProvider { env.getDirectories(), verboseFailures, env.getRuntime().getProductName())); + } else { + if (!buildRequest.getOptions(SandboxOptions.class).ignoreUnsupportedSandboxing) { + env.getReporter().handle(Event.warn(SANDBOX_NOT_SUPPORTED_MESSAGE)); + } } break; default: |