I just compiled a sketch on the commandline using the makefile located in arduino/hardware/cores/arduino. The binary that it uploaded was 9960 bytes.
I then compiled the exact same sketch in the arduino ide, and it is 9264 bytes.
Why is this? Shouldn't they be the same?
I'd like to move away from the arduino IDE, but I can't afford for the sketches to be larger.