Update Travis and check_whitespace.sh.

2017-07-23 02:22:42 +02:00
parent ef8a7f330d
commit ef78d23494
4 changed files with 7 additions and 2 deletions
@@ -2,6 +2,7 @@
 # Copyright (C) Markus Franz Xaver Johannes Oberhumer

 sudo: false
+dist: precise
 language: cpp

 notifications: { email: { on_success: never, on_failure: change } }