The MACHTYPE bash variable is an odd thing that returns e.g. x86_64-redhat-linux-gnu on a CentOS system, but x86_64-pc-linux-gnu on a Debian system, and possibly something different on other distros. mach valgrind-test is the only place actually relying on MACHTYPE. Others rely on information from python modules. Uniformize that, and use the more generic 'pc' rather than 'redhat'.
7.3 KiB
7.3 KiB