升级gcc操作时,对于操作 echo "source /opt/rh/devtoolset-10/enable" >> /etc/profile 后,应该执行 source /etc/profile 使其生效,不然,使用gcc -v 查出来的还是升级之前的版本。
echo "source /opt/rh/devtoolset-10/enable" >> /etc/profile
source /etc/profile