1#!/bin/bash 2 3# Copyright JS Foundation and other contributors, http://js.foundation 4# 5# Licensed under the Apache License, Version 2.0 (the "License"); 6# you may not use this file except in compliance with the License. 7# You may obtain a copy of the License at 8# 9# http://www.apache.org/licenses/LICENSE-2.0 10# 11# Unless required by applicable law or agreed to in writing, software 12# distributed under the License is distributed on an "AS IS" BASIS 13# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 14# See the License for the specific language governing permissions and 15# limitations under the License. 16 17JERRY_CORE_FILES=`find ./jerry-core -name "*.c" -or -name "*.h"` 18JERRY_EXT_FILES=`find ./jerry-ext -name "*.c" -or -name "*.h"` 19JERRY_PORT_FILES=`find ./jerry-port -name "*.c" -or -name "*.h"` 20JERRY_LIBM_FILES=`find ./jerry-libm -name "*.c" -or -name "*.h"` 21JERRY_MAIN_FILES=`find ./jerry-main -name "*.c" -or -name "*.h"` 22UNIT_TEST_FILES=`find ./tests/unit-* -name "*.c" -or -name "*.h"` 23 24if [ -n "$1" ] 25then 26MANUAL_CHECK_FILES=`find $1 -name "*.c" -or -name "*.h"` 27fi 28 29vera++ -r tools/vera++ -p jerry \ 30 -e --no-duplicate \ 31 $MANUAL_CHECK_FILES $JERRY_CORE_FILES $JERRY_EXT_FILES $JERRY_PORT_FILES $JERRY_LIBM_FILES $JERRY_MAIN_FILES $UNIT_TEST_FILES 32