Does my Arduino ignore its serial buffer?

You can either spin around in a while loop reading the characters or, if you know what terminates the input stream (often a newline character, '\n'), you can use Serial.readBytesUntil().