I voted other. It would depend on if he had somewhere to be later and couldn't finish his work, if he went to bed at a decent hour the night before, and if he was reasonably caught up on his schoolwork to begin with.
If he was reasonably caught up, had nowhere to be later, and had gone to bed at a decent hour, then I would let him sleep.
If he was behind, had somewhere to be later, or had been staying up into all hours of the night, then I would wake him up and make him get after it.