3 # This script determines which platforms that this Valgrind installation
6 # - 0 if the machine matches the asked-for platform
7 # - 1 if it didn't match, but did match the name of another platform
10 # Nb: When updating this file for a new platform, add the name to
14 all_platforms
="$all_platforms x86-linux amd64-linux ppc32-linux ppc64-linux"
15 all_platforms
="$all_platforms arm-linux arm64-linux"
16 all_platforms
="$all_platforms s390x-linux mips32-linux mips64-linux"
17 all_platforms
="$all_platforms x86-darwin amd64-darwin"
18 all_platforms
="$all_platforms x86-solaris amd64-solaris"
19 all_platforms
="$all_platforms x86-freebsd amd64-freebsd"
21 if [ $# -ne 2 ] ; then
22 echo "usage: platform_test <arch-type> <OS-type>"
26 # Get the directory holding the arch_test and os_test, which will be the same
27 # as the one holding this script.
30 if $dir/arch_test
$1 && $dir/os_test
$2 ; then
31 exit 0; # Matches this platform.
34 for p
in $all_platforms ; do
35 if [ $1-$2 = $p ] ; then
36 exit 1; # Matches another Valgrind-supported platform.
40 exit 2; # Doesn't match any Valgrind-supported platform.