From 7a65a1c1af267d2a6ce2729cf3440526361c6a6d Mon Sep 17 00:00:00 2001 From: cvvergara Date: Thu, 8 Feb 2024 12:07:16 -0600 Subject: [PATCH] (tools) fixing type in script --- tools/scripts/code_checker.sh | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) diff --git a/tools/scripts/code_checker.sh b/tools/scripts/code_checker.sh index 0d50e7e9e84..def08ebbad1 100755 --- a/tools/scripts/code_checker.sh +++ b/tools/scripts/code_checker.sh @@ -37,15 +37,11 @@ if ! test -d code_linter; then # cd styleguide || exit 1 # git checkout gh-pages popd || exit 1 + ls code_linter + ls code_linter/cpplint + echo code_linter installed fi -pushd code_linter || exit 1 -git pull -popd || exit 1 -ls code_linter -ls code_linter/cpplint -echo code_linter installed - DIRECTORY="$1" if test -z "$DIRECTORY"; then