use one central .bazelrc

tweag · Mar 22, 2022 · 2b49081 · 2b49081
1 parent d199316
commit 2b49081
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 35 deletions.
diff --git a/.bazelrc b/.bazelrc
diff --git a/.bazelrc b/.bazelrc
@@ -0,0 +1 @@
+core/.bazelrc
diff --git a/core/.bazelrc b/core/.bazelrc
@@ -1,8 +1,5 @@
 build --host_platform=@rules_nixpkgs_core//platforms:host
 
-# NOTE: all of the following is copy-pasted from `/.bazelrc` and necessary to
-# make this repository work compatibly in isolation.
-
 build --crosstool_top=@nixpkgs_config_cc//:toolchain
 # Using toolchain resolution can lead to spurious dependencies on
 # `@local_config_cc//:builtin_include_directory_paths`. This needs to be