Well, I just wrote make in the terminal window, so let's see how long it'll take before I can tell my Raspberry Pi to do something else.