The latter might take a few CPU cycles to stretch the image, but it would be the more elegant IMO since you don't have to have so many variations of the same image to waste file space.

In the end you still display a graphic at the same size, so I don't think there's any difference.