blob: 81a4f27ab7364d746d4d774b65ffd436608f5958 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
diff --git a/test/run b/test/run
index 9623e49d..3df1c5a8 100755
--- a/test/run
+++ b/test/run
@@ -126,23 +126,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
- fgrep -q "\"$1\""
- else
- fgrep -q ": $1"
- fi
+ fgrep -q ": $1"
}
expect_stat() {
|
