tree 83ef2cd5d505e4f869082ef753e5790ad2d1bf59
parent 04bd5821e9ebc9b985c99e991cdb092a7fc03c43
author David Ostrovsky <david@ostrovsky.org> 1558796708 +0200
committer David Ostrovsky <d.ostrovsky@gmx.de> 1558853073 -0400

Add bazel options to align with gerrit's

Change-Id: I6addd5fcaecb8c2508e1d5776ecfed8ae676b6ed
Signed-off-by: David Ostrovsky <david@ostrovsky.org>