diff options
-rw-r--r-- | tools/cpp/cc_configure.bzl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/cpp/cc_configure.bzl b/tools/cpp/cc_configure.bzl index 2f09ff640d..cb5354ef5d 100644 --- a/tools/cpp/cc_configure.bzl +++ b/tools/cpp/cc_configure.bzl @@ -103,7 +103,9 @@ def _get_cpu_value(repository_ctx): return "freebsd" if os_name.find("windows") != -1: return "x64_windows" - return "k8" + # Use uname to figure out whether we are on x86_32 or x86_64 + result = repository_ctx.execute(["uname", "-m"]) + return "piii" if result.stdout == "i386" else "k8" _INC_DIR_MARKER_BEGIN = "#include <...> search starts here:" |