From 4ad7cd6615a9d738e50e833ca6cad8b512c605f6 Mon Sep 17 00:00:00 2001
From: Clark Boylan <clark.boylan@gmail.com>
Date: Tue, 10 Dec 2013 15:29:19 -0800
Subject: [PATCH] Be explicit and verbose when using git diff.

Specify that git should diff against HEAD when diffing in the
propose_requirements_update.sh script. Replace --quiet with --exit-code
so that we can verbosely see what differences there are.

Change-Id: I0d194151db457f7eb56e010c94b20562d0221e34
---
 .../jenkins/files/slave_scripts/propose_requirements_update.sh  | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/modules/jenkins/files/slave_scripts/propose_requirements_update.sh b/modules/jenkins/files/slave_scripts/propose_requirements_update.sh
index ec6b4a72fa..6f41156723 100755
--- a/modules/jenkins/files/slave_scripts/propose_requirements_update.sh
+++ b/modules/jenkins/files/slave_scripts/propose_requirements_update.sh
@@ -67,7 +67,7 @@ EOF
     python update.py $PROJECT_DIR
 
     pushd $PROJECT_DIR
-    if ! git diff --quiet ; then
+    if ! git diff --exit-code HEAD ; then
         # Commit and review
         git_args="-a -F-"
         if [ -n "$change_id" ] ; then