Auto merge of #8361 - Manishearth:lockfile_changed, r=frewsxcv

Add script to check if lockfile was changed

<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/8361)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2015-11-06 02:18:39 +05:30
commit 60d40ed06a
2 changed files with 7 additions and 1 deletions

View file

@ -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

4
etc/ci/lockfile_changed.sh Executable file
View file

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