Tools/check_code_style.sh

#!/usr/bin/env bash

file=$1

DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )

if [ -f "$file" ];
then
	${DIR}/fix_code_style.sh --dry-run $file | grep --quiet Formatted
	if [[ $? -eq 0 ]]
	then
		echo $file 'bad formatting, please run "./Tools/fix_code_style.sh' $file'"'
		exit 1
	fi
fi
add make check_format to check astyle code formatting 2015-01-05 23:16:30 -05:00			`#!/usr/bin/env bash`

check code style parallel 2016-04-21 17:29:49 -04:00			`file=$1`

			`DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )`

			`if [ -f "$file" ];`
			`then`
check_code_style don't create tmp files 2016-04-24 19:25:31 -04:00			`${DIR}/fix_code_style.sh --dry-run $file \| grep --quiet Formatted`
			`if [[ $? -eq 0 ]]`
			`then`
			`echo $file 'bad formatting, please run "./Tools/fix_code_style.sh' $file'"'`
			`exit 1`
			`fi`
add make check_format to check astyle code formatting 2015-01-05 23:16:30 -05:00			`fi`
check code style parallel 2016-04-21 17:29:49 -04:00