From 051cfd1f92eee9aca9acee985d0f010d56cf1391 Mon Sep 17 00:00:00 2001
From: Ron Eldor <Ron.Eldor@arm.com>
Date: Sun, 1 Apr 2018 17:43:26 +0300
Subject: [PATCH] Add doxygen.sh script to git hooks

Add the doxygen.sh script to the pre-push git script
---
 tests/git-scripts/pre-push.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tests/git-scripts/pre-push.sh b/tests/git-scripts/pre-push.sh
index 7407f44b9..86edf5a30 100755
--- a/tests/git-scripts/pre-push.sh
+++ b/tests/git-scripts/pre-push.sh
@@ -46,3 +46,4 @@ run_test ./tests/scripts/check-doxy-blocks.pl
 run_test ./tests/scripts/check-names.sh
 run_test ./tests/scripts/check-generated-files.sh
 run_test ./tests/scripts/check-files.py
+run_test ./tests/scripts/doxygen.sh