(tools) fixing type in script

pgRouting · Feb 11, 2024 · 7a65a1c · 7a65a1c
1 parent 9ac58c4
commit 7a65a1c
Showing 1 changed file with 3 additions and 7 deletions.
diff --git 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