diff options
author | Denis Ovsienko <denis@ovsienko.info> | 2023-05-01 22:29:01 +0100 |
---|---|---|
committer | Denis Ovsienko <denis@ovsienko.info> | 2023-05-01 22:29:01 +0100 |
commit | fc9abd5810adaa5ec755662dc98e472c797c47cb (patch) | |
tree | 4b79ee4e11bedc4a60f58c58fd5272537c42a2c9 | |
parent | d68fbb40baf298814372a06fa7d501058a2825e7 (diff) | |
download | tcpdump-fc9abd5810adaa5ec755662dc98e472c797c47cb.tar.gz |
CI: Copy build_common.sh from tcpslice. [skip ci]
-rw-r--r-- | build_common.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build_common.sh b/build_common.sh index 3c9d7d4c..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`}" |