Abra o terminal e digite:
gcc --version
Se essa não for a versão do gcc desejada, você pode alterar a versão padrão do gcc usando o comando update-alternatives
para determinar qual arquivo real é referenciado por um nome genérico, por exemplo, qual arquivo real é referenciado por gcc
. Para obter mais informações, consulte as respostas para esta pergunta: Como alterar o compilador GCC padrão no Ubuntu? .