Merge pull request diffblue#315 from diffblue/owen-jones-diffblue/stop-clang-format-timing-out

Replace exit with travis_terminate

Author: owen-jones-diffblue

.travis.yml

@@ -28,10 +28,10 @@ jobs:
           echo 'Formatting error! The following diff shows the required changes'
           echo 'Use the raw log to get a version of the diff that preserves spacing'
           cat formatted.diff
-          exit 1
+          travis_terminate 1
         fi
         echo 'No formatting errors found'
-        exit 0
+        travis_terminate 0
       before_cache:
 
 # LOCAL CHANGES: added cbmc/ prefix to both these scripts