diff --git a/tools/precommit.sh b/tools/precommit.sh index 7a9fa4fba..2d7fbc3c4 100755 --- a/tools/precommit.sh +++ b/tools/precommit.sh @@ -26,27 +26,6 @@ shift PARSE_ONLY_TESTING_PATHS="./tests/benchmarks/jerry" FULL_TESTING_PATHS="./tests/jerry ./tests/jerry-test-suite/precommit_test_list" -VERA=`which vera++` -if [ -x "$VERA" ] -then - VERA_DIRECTORIES_EXCLUDE_LIST="-path ./third-party -o -path tests" - VERA_SCRIPTS_PATH="./tools/vera++" - - SOURCES_AND_HEADERS_LIST=`find . -type d \( $VERA_DIRECTORIES_EXCLUDE_LIST \) -prune -or -name "*.c" -or -name "*.cpp" -or -name "*.h"` - vera++ -r $VERA_SCRIPTS_PATH -p jerry $SOURCES_AND_HEADERS_LIST -e --no-duplicate - STATUS_CODE=$? - - if [ $STATUS_CODE -ne 0 ] - then - echo -e "\e[1;33m vera++ static checks failed. See output above for details. \e[0m\n" - - exit $STATUS_CODE - fi -else - echo -e "\e[1;33m Warning: vera++ not installed, skipping corresponding static checks. \e[0m\n" -fi -exit 0 - echo -e "\nBuilding...\n\n" $MAKE STATIC_CHECK=ON build || exit 1 echo -e "\n================ Build completed successfully. Running precommit tests ================\n"