diff options
author | Adin Scannell <ascannell@google.com> | 2019-10-04 19:03:07 -0700 |
---|---|---|
committer | Adin Scannell <ascannell@google.com> | 2020-03-25 16:21:27 -0700 |
commit | 882ed330e6e7761f482f9bfa771cc6693e0f8008 (patch) | |
tree | 55426c6f1d0a7d46be0d9855d3dbd5eefc943a15 /tools/BUILD | |
parent | d440fe0613a3b8fec75d33aff36ebada220106b0 (diff) |
nogo: enable sanitizers.
This enables all relevant santizers (though most analyzers will not find
much, it will prevent instances from creeping in), and codifies existing
exceptions in tools/nogo.js to be fixed.
Diffstat (limited to 'tools/BUILD')
-rw-r--r-- | tools/BUILD | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/BUILD b/tools/BUILD index e73a9c885..ba3506c04 100644 --- a/tools/BUILD +++ b/tools/BUILD @@ -1,3 +1,3 @@ package(licenses = ["notice"]) -exports_files(["nogo.js"]) +exports_files(["nogo.json"]) |