2015-01-05 23:16:30 -05:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
2016-08-22 23:20:27 +02:00
|
|
|
FILE=$1
|
2016-04-21 17:29:49 -04:00
|
|
|
DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
|
|
|
|
|
|
2016-08-22 23:20:27 +02:00
|
|
|
if [ -f "$FILE" ]; then
|
2018-05-08 11:48:08 +01:00
|
|
|
CHECK_FAILED=$(${DIR}/fix_code_style.sh --dry-run --formatted $FILE)
|
2018-05-08 17:04:26 +01:00
|
|
|
if [ -n "$CHECK_FAILED" ]; then
|
2016-08-22 23:20:27 +02:00
|
|
|
${DIR}/fix_code_style.sh --quiet < $FILE > $FILE.pretty
|
2016-06-21 11:49:42 -04:00
|
|
|
|
|
|
|
|
echo
|
2016-08-22 23:20:27 +02:00
|
|
|
git --no-pager diff --no-index --minimal --histogram --color=always $FILE $FILE.pretty
|
|
|
|
|
rm -f $FILE.pretty
|
2016-06-21 11:49:42 -04:00
|
|
|
echo
|
|
|
|
|
|
2016-08-22 23:20:27 +02:00
|
|
|
if [[ $PX4_ASTYLE_FIX -eq 1 ]]; then
|
|
|
|
|
${DIR}/fix_code_style.sh $FILE
|
2016-08-05 22:23:32 -04:00
|
|
|
else
|
2017-08-22 18:15:24 -04:00
|
|
|
echo $FILE 'bad formatting, please run "make format" or "./Tools/astyle/fix_code_style.sh' $FILE'"'
|
2016-08-05 22:23:32 -04:00
|
|
|
exit 1
|
|
|
|
|
fi
|
2016-04-24 19:25:31 -04:00
|
|
|
fi
|
2015-01-05 23:16:30 -05:00
|
|
|
fi
|