From ee0a3972fc7a17db5e8f8a4d798056d9057950f2 Mon Sep 17 00:00:00 2001 From: Discord9 Date: Wed, 6 Dec 2023 16:40:58 +0800 Subject: [PATCH] feat: remove check script --- scripts/check_pyo3_link_script.sh | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100755 scripts/check_pyo3_link_script.sh diff --git a/scripts/check_pyo3_link_script.sh b/scripts/check_pyo3_link_script.sh deleted file mode 100755 index 87143c7368..0000000000 --- a/scripts/check_pyo3_link_script.sh +++ /dev/null @@ -1,11 +0,0 @@ -#!/bin/bash -# This script is only used in CI to check if the pyo3 backend is linked correctly -echo $(pwd) -if [[ $FEATURES == *pyo3_backend* ]]; then - cp target/release/greptime scripts - if yes | ./scripts/greptime.sh --version &> /dev/null; then - exit 0 - else - exit 1 - fi -fi