From 906f45beac0e3169134ea8379b2547201378c5f5 Mon Sep 17 00:00:00 2001
From: Joakim Ahrlin <joakim.ahrlin@gmail.com>
Date: Fri, 11 Feb 2022 10:41:30 +0100
Subject: [PATCH] support user.bazelrc

Signed-off-by: Joakim Ahrlin <joakim.ahrlin@gmail.com>
---
 .bazelrc   | 3 +++
 .gitignore | 1 +
 2 files changed, 4 insertions(+)

diff --git a/.bazelrc b/.bazelrc
index 0b23cee91..4a099d916 100644
--- a/.bazelrc
+++ b/.bazelrc
@@ -2,3 +2,6 @@
 build --workspace_status_command hack/build/print-workspace-status.sh
 # Show timestamps with each bazel message
 build --show_timestamps
+
+# import per-user options
+try-import %workspace%/user.bazelrc
diff --git a/.gitignore b/.gitignore
index d4f55b169..26f97b110 100644
--- a/.gitignore
+++ b/.gitignore
@@ -14,3 +14,4 @@ bazel-*
 _artifacts/
 /vendor/
 bin/
+user.bazelrc