diff --git a/script/test b/script/test index dd23649bd..af73c54c6 100755 --- a/script/test +++ b/script/test @@ -424,7 +424,7 @@ EXAMPLES: do_package() { local builddir - local options=("-DCMAKE_BUILD_TYPE=Release" "-DOT_LOG_LEVEL=INFO") + local options=("-DCMAKE_BUILD_TYPE=Release" "-DOT_LOG_LEVEL=INFO" "-DOT_THREAD_VERSION=${THREAD_VERSION}") if [[ ${ot_extra_options[*]+x} ]]; then options+=("${ot_extra_options[@]}")