diff options
| -rw-r--r-- | vdso/BUILD | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/vdso/BUILD b/vdso/BUILD index 81cb7c24c..3df569233 100644 --- a/vdso/BUILD +++ b/vdso/BUILD @@ -3,6 +3,8 @@ # normal system VDSO (time, gettimeofday, clock_gettimeofday) but which uses # timekeeping parameters managed by the sandbox kernel. +load("@bazel_tools//tools/cpp:cc_flags_supplier.bzl", "cc_flags_supplier") + package(licenses = ["notice"]) config_setting( @@ -57,7 +59,7 @@ genrule( features = ["-pie"], toolchains = [ "@bazel_tools//tools/cpp:current_cc_toolchain", - "@bazel_tools//tools/cpp:cc_flags", + ":no_pie_cc_flags", ], tools = [ ":check_vdso", @@ -65,6 +67,11 @@ genrule( visibility = ["//:sandbox"], ) +cc_flags_supplier( + name = "no_pie_cc_flags", + features = ["-pie"], +) + py_binary( name = "check_vdso", srcs = ["check_vdso.py"], |