• Sébastien Villemot's avatar
    Improve detection of X13 binary · ca414338
    Sébastien Villemot authored
    — On GNU/Linux, the locally installed binary now has priority over the
      system-wide binary
    — Do not require 32-bit binary if we are on a 64-bit system and the 64-bit
      binary is there (or vice versa)
    — Code factorization in the detection logic
    ca414338
select_x13_binary.m 2.61 KB