Ao contrário do Windows, o Linux não depende da extensão de um arquivo para determinar que tipo de arquivo é. Em vez disso, ele verificará os primeiros bytes do arquivo e determinará o tipo de arquivo.
Assim, o arquivo de saída fornecido por gcc
requer sem extensão . Você pode adicionar qualquer extensão desejada (alterando -o output_name
para -o output_name.abcd
), mas isso não fará diferença alguma.
Você pode dar uma olhada na saída do comando
file ./filename
por exemplo
:~$ file output_file
output_file: ELF 32-bit LSB executable, Intel 80386, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 2.6.24, BuildID[sha1]=9bc9fabf05a3d2e58c7780c48cd873cb2955b2ec, not stripped
:~$