diff options
author | Googler <noreply@google.com> | 2019-04-29 13:18:46 -0700 |
---|---|---|
committer | Shentubot <shentubot@google.com> | 2019-04-29 13:19:51 -0700 |
commit | 38e627644756400413fffe7222cdd5200dc4eccf (patch) | |
tree | f57b237132a910f02fa75095e76119c2ee76c6f3 | |
parent | ac8fca1ef44ee5ceb1fa454d52f41178a4d66f79 (diff) |
n/a
PiperOrigin-RevId: 245810347
Change-Id: Ia5f4bb268a8207bd2a7d4c77c83cdfbe1483c64f
-rw-r--r-- | vdso/BUILD | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/vdso/BUILD b/vdso/BUILD index f95f690eb..7ceed349e 100644 --- a/vdso/BUILD +++ b/vdso/BUILD @@ -87,5 +87,6 @@ cc_flags_supplier( py_binary( name = "check_vdso", srcs = ["check_vdso.py"], + python_version = "PY2", visibility = ["//:sandbox"], ) |