From bac87fed32bb7a5114be13ba01e75841a448f768 Mon Sep 17 00:00:00 2001 From: Shivam Mathur Date: Sun, 20 Jul 2025 02:01:02 +0530 Subject: [PATCH] Cleanup in cubrid.sh --- src/scripts/extensions/cubrid.sh | 9 --------- 1 file changed, 9 deletions(-) diff --git a/src/scripts/extensions/cubrid.sh b/src/scripts/extensions/cubrid.sh index 201a667c..46e6030d 100644 --- a/src/scripts/extensions/cubrid.sh +++ b/src/scripts/extensions/cubrid.sh @@ -7,15 +7,6 @@ add_license_log() { echo "$END_GROUP" } -# Function to setup gcc-7 and g++-7 -setup_compiler() { - if ! command -v gcc-7 >/dev/null || ! command -v g++-7 >/dev/null; then - add_ppa ubuntu-toolchain-r/test - add_packages gcc-7 g++-7 -y - fi - printf "gcc g++" | xargs -d ' ' -I {} sudo update-alternatives --install /usr/bin/{} {} /usr/bin/{}-7 7 -} - # Function to set cubrid repo for the extension. set_cubrid_repo() { case "${ext:?}" in