Set quiet=True for z3_nix (#6259)

changelog_begin changelog_end
digital-asset · Jun 8, 2020 · 20e2998 · 20e2998
1 parent d064ea4
commit 20e2998
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/WORKSPACE b/WORKSPACE
@@ -907,6 +907,9 @@ nixpkgs_package(
     fail_not_supported = False,
     nix_file = "//nix:bazel.nix",
     nix_file_deps = common_nix_file_deps,
+    # Remove once we upgrade to Bazel >=3.0. Until then `nix-build` output
+    # confuses the JAR query in `daml-sdk-head`.
+    quiet = True,
     repositories = dev_env_nix_repos,
 ) if not is_windows else None