From 1b499f3de24bf4bea73c4ab514bc85c7b08f03cc Mon Sep 17 00:00:00 2001 From: Jack Zhou Date: Mon, 20 Feb 2023 15:30:49 +0800 Subject: [PATCH] [Serving] Update serving build script (#1371) Update serving build script --- serving/scripts/build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/serving/scripts/build.sh b/serving/scripts/build.sh index bd819f7bd..bf45b1820 100644 --- a/serving/scripts/build.sh +++ b/serving/scripts/build.sh @@ -13,7 +13,7 @@ # See the License for the specific language governing permissions and # limitations under the License. -ARGS=`getopt -a -o w:n:h:hs -l WITH_GPU:,docker_name:,http_proxy:,https_proxy: -- "$@"` +ARGS=`getopt -a -o w:n:h:hs:tv -l WITH_GPU:,docker_name:,http_proxy:,https_proxy:,trt_version: -- "$@"` eval set -- "${ARGS}" echo "parse start"