From b373fff4bca5c21845e0d5dd9d767283a08efb42 Mon Sep 17 00:00:00 2001
From: Sirajudeen <sirajudeen.yasin@gmail.com>
Date: Mon, 28 Sep 2020 19:57:19 +0000
Subject: [PATCH] git diff check updated to watch for md changes

* Whenever the CLI usage is updated, it is required to run
  make cli-docs. So added that check in git-diff to capture in gates
  if missed by user

Change-Id: I47be48e921505593e745c11ce139f8079abc686a
---
 tools/git_diff_check | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

diff --git a/tools/git_diff_check b/tools/git_diff_check
index 98454c1ba..e50f39209 100755
--- a/tools/git_diff_check
+++ b/tools/git_diff_check
@@ -23,6 +23,13 @@ then
     exit 1
 fi
 
+git diff-files --quiet --ignore-submodules **/*.md
+if [ $? -ne 0 ]
+then
+    echo "git diff found modified cli help, please run make cli-docs"
+    exit 1
+fi
+
 # Evaluate git index for differences, if found print message and fail.
 git diff-index --cached --quiet --ignore-submodules HEAD -- **/*.golden
 if [ $? -ne 0 ]
@@ -31,4 +38,11 @@ then
     exit 1
 fi
 
-echo "no git diff detected, make target completed successfully"
\ No newline at end of file
+git diff-index --cached --quiet --ignore-submodules HEAD -- **/*.md
+if [ $? -ne 0 ]
+then
+    echo "git diff found modified cli help, please run make cli-docs"
+    exit 1
+fi
+
+echo "no git diff detected, make target completed successfully"