diff options
author | Denis Ovsienko <denis@ovsienko.info> | 2023-05-01 22:26:07 +0100 |
---|---|---|
committer | Denis Ovsienko <denis@ovsienko.info> | 2023-05-01 22:26:07 +0100 |
commit | 11bde3533f725884f16d1e5c491eaf53190d3852 (patch) | |
tree | 33c68fdfefde923f16b978689baf056a3a492ea1 /build_common.sh | |
parent | 02b98a948dfb661c3e04fca91bd9485525d4198f (diff) |
CI: Copy build_common.sh from tcpslice. [skip ci]
Diffstat (limited to 'build_common.sh')
-rw-r--r-- | build_common.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/build_common.sh b/build_common.sh index b5fa66b6..3264d2e9 100644 --- a/build_common.sh +++ b/build_common.sh @@ -214,6 +214,7 @@ os_id() { ;; Haiku) # Meaningful version is the substring before the plus sign. + # "hrev56578" stands for "R1/beta4". # "hrev55181" stands for "R1/beta3". # "hrev54154" stands for "R1/beta2". : "${os_id_version:=`uname -v`}" @@ -248,6 +249,9 @@ print_so_deps() { Darwin-*) run_after_echo otool -L "${1:?}" ;; + Haiku-*) + run_after_echo objdump -p "${1:?}" + ;; *) run_after_echo ldd "${1:?}" ;; |