servo: Merge #8361 - Add script to check if lockfile was changed (from Manishearth:lockfile_changed); r=frewsxcv

Source-Repo: https://github.com/servo/servo
Source-Revision: 60d40ed06afced66b5a76fc824132fb244265f06

servo/.travis.yml

@@ -8,7 +8,9 @@ matrix:
       cache: false
     - sudo: 9000
       dist: trusty
-      script: ./mach build -d --verbose
+      script:
+         - ./mach build -d --verbose
+         - bash etc/ci/lockfile_changed.sh
       cache:
         directories:
           - .cargo

servo/etc/ci/lockfile_changed.sh

@@ -0,0 +1,4 @@
+#!/bin/bash
+diff=$(git diff -- */*/Cargo.lock)
+echo "$diff"
+[[ ! $diff ]]