Olá, Roberto!
Parece que o make não está reconhecendo a tarefa lint como válida. Isso geralmente acontece por alguns motivos comuns:
Indentação: No Makefile, a indentação precisa ser feita com um tab e não com espaços. Verifique se a linha após lint: está corretamente indentada com um tab.
Nome da Tarefa: Certifique-se de que o nome da tarefa no Makefile está exatamente como você está chamando no terminal (make lint).
Arquivo Salvo: Verifique se o Makefile está salvo corretamente após as alterações.
Localização: Confirme que você está executando o comando make lint no mesmo diretório onde o Makefile está localizado.
Sintaxe do Comando: Verifique se o comando dentro da tarefa lint está correto e se todas as variáveis e caminhos estão definidos corretamente.
Se tudo isso estiver correto e ainda assim o problema persistir, você pode tentar criar um Makefile simples para testar se o make está funcionando corretamente:
lint:
echo "Executando lint"
Depois, execute make lint para ver se ele imprime "Executando lint". Se funcionar, o problema pode estar relacionado ao comando específico que você está tentando executar.
Bons estudos!