Skip to main content

Browse the archive

Revision df2dffbc7c0732c43eadcbeb3663b2febbb2037e authored by jax authors on 08 July 2024, 17:24:40 UTC, committed by jax authors on 19 July 2024, 00:51:51 UTC 
Sort devices explicitly by process index, then id (as opposed to IDs alone). IDs may be randomly generated, and are not guaranteed to be ordered based on their process index.
 
PiperOrigin-RevId: 650294623
1 parent 984eca2
Raw File
platform_mappings 
platforms:
#  Maps "--platforms=//tools/toolchains/cross_compile/config:darwin_x86_64"
#  to "--cpu=darwin".
  @xla//tools/toolchains/cross_compile/config:darwin_x86_64
    --cpu=darwin

flags:
  # Maps "--cpu=darwin" to
  # "--platforms=//tools/toolchains/cross_compile/config:darwin_x86_64".
  --cpu=darwin
    @xla//tools/toolchains/cross_compile/config:darwin_x86_64
back to top