tjh.dev
1diff --git a/test/run b/test/run
2index 43a57312..398be8d8 100755
3--- a/test/run
4+++ b/test/run
5@@ -148,21 +148,17 @@ file_size() {
6 objdump_cmd() {
7 local file="$1"
8
9- if $HOST_OS_APPLE; then
10- xcrun dwarfdump -r 0 "$file"
11- elif $HOST_OS_WINDOWS || $HOST_OS_CYGWIN; then
12+ if $HOST_OS_WINDOWS || $HOST_OS_CYGWIN; then
13 # For some reason objdump only shows the basename of the file, so fall
14 # back to brute force and ignorance.
15 strings "$1"
16 else
17- objdump -W "$file"
18+ @objdump@ -W "$file"
19 fi
20 }
21
22 objdump_grep_cmd() {
23- if $HOST_OS_APPLE; then
24- grep -Fq "\"$1\""
25- elif $HOST_OS_WINDOWS || $HOST_OS_CYGWIN; then
26+ if $HOST_OS_WINDOWS || $HOST_OS_CYGWIN; then
27 grep -Fq "$1"
28 else
29 grep -Fq ": $1"