diff --git a/package/package.sh b/package/package.sh index 9f4f9322c72091174c769dd567b277ae671d3565..e62b95c1a6dfe992168c32f56897ee985f19c710 100755 --- a/package/package.sh +++ b/package/package.sh @@ -23,7 +23,7 @@ static_sanitizer="OFF" build_type="Release" branch="master" -while getopts v:n:s:b:d: opt; +while getopts v:n:s:b:d:t: opt; do case $opt in v) @@ -45,6 +45,9 @@ do fi build_type="RelWithDebInfo" ;; + t) + build_type=$OPTARG + ;; ?) echo "Invalid option, use default arguments" ;;