From 9b02531d12007cdc930f7afe5c8a3080a1694253 Mon Sep 17 00:00:00 2001
From: Manish Goregaokar <manishsmail@gmail.com>
Date: Fri, 6 Nov 2015 00:28:19 +0530
Subject: [PATCH] Add script to check if lockfile was changed

---
 etc/ci/lockfile_changed.sh | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100755 etc/ci/lockfile_changed.sh

diff --git a/etc/ci/lockfile_changed.sh b/etc/ci/lockfile_changed.sh
new file mode 100755
index 00000000000..7aa1ccccfca
--- /dev/null
+++ b/etc/ci/lockfile_changed.sh
@@ -0,0 +1,4 @@
+#!/bin/bash
+diff=$(git diff -- */*/Cargo.lock)
+echo "$diff"
+[[ ! $diff ]]