message: Get MACHTYPE via bash call instead of relying on the environment.
  $MACHTYPE is a bash builtin, not an environment variable.
diff: @@ -12,8 +12,7 @@ def _remote_platform_configure_impl(repository_ctx):
  platform = "linux"
  cpu = "x86_64"
  - if "MACHTYPE" in repository_ctx.os.environ:
  - machine_type = repository_ctx.os.environ["MACHTYPE"]
  + machine_type = repository_ctx.execute(["bash", "-c", "echo $MACHTYPE"]).stdout
  if (machine_type.startswith("ppc") or
  machine_type.startswith("powerpc")):
  cpu = "ppc"
  