GCC can build 32bit or 64bit executables (on most systems). It all depends on what arguments you give it. If you look at the compile invocation that make is running you'll likely see that it passes the -m32 (or some similar) option, which tells the compiler and linker to create 32bit objects and binaries.