This to save time during regular pushes and pull requests, the tests run from distcheck take a long time, and they're not getting fewer. Signed-off-by: Joachim Wiberg <troglobit@gmail.com>
