30 lines
807 B
Diff
30 lines
807 B
Diff
diff --git a/test/run b/test/run
|
|
index 43a57312..398be8d8 100755
|
|
--- a/test/run
|
|
+++ b/test/run
|
|
@@ -148,21 +148,17 @@ file_size() {
|
|
objdump_cmd() {
|
|
local file="$1"
|
|
|
|
- if $HOST_OS_APPLE; then
|
|
- xcrun dwarfdump -r 0 "$file"
|
|
- elif $HOST_OS_WINDOWS || $HOST_OS_CYGWIN; then
|
|
+ if $HOST_OS_WINDOWS || $HOST_OS_CYGWIN; then
|
|
# For some reason objdump only shows the basename of the file, so fall
|
|
# back to brute force and ignorance.
|
|
strings "$1"
|
|
else
|
|
- objdump -W "$file"
|
|
+ @objdump@ -W "$file"
|
|
fi
|
|
}
|
|
|
|
objdump_grep_cmd() {
|
|
- if $HOST_OS_APPLE; then
|
|
- grep -Fq "\"$1\""
|
|
- elif $HOST_OS_WINDOWS || $HOST_OS_CYGWIN; then
|
|
+ if $HOST_OS_WINDOWS || $HOST_OS_CYGWIN; then
|
|
grep -Fq "$1"
|
|
else
|
|
grep -Fq ": $1"
|