mirror of
https://github.com/jerryscript-project/jerryscript.git
synced 2025-12-15 16:29:21 +00:00
Revert "Enabling vera++ run during precommit testing."
This reverts commit 4c71200344dbebff7df2d9497ebdc7e02bd87eab.
This commit is contained in:
parent
6379d8f4ad
commit
ef004ef843
@ -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"
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user