From ef76441a72dca0de0ce7207a53177f67d7d83836 Mon Sep 17 00:00:00 2001 From: Thomas Kiley Date: Mon, 2 Oct 2017 14:34:53 +0100 Subject: [PATCH] Corrected error in the run_diff script Script was erroneously reporting that there was no cpplint.py in the scripts folder when the problem was a lack of doxygen executable. --- scripts/run_diff.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/run_diff.sh b/scripts/run_diff.sh index aed0d24ddb0..56eeb2f3aa8 100755 --- a/scripts/run_diff.sh +++ b/scripts/run_diff.sh @@ -48,8 +48,8 @@ then "warning: Included by graph for .* not generated, too many nodes. Consider increasing DOT_GRAPH_MAX_NODES.") if ! $doxygen --version &>/dev/null then - echo "Lint script could not be found in the $script_folder directory" - echo "Ensure cpplint.py is inside the $script_folder directory then run again" + echo "Doxygen is not installed on this PC" + echo "Please install before running this script" exit 1 else mkdir -p $doxygenlogdir && cd src && $doxygen &> ../$doxygenlog && cd ..