Browse Source

format.sh: better inform the user what to do on style issues (#24)

master
Beat Küng 9 years ago committed by James Goppert
parent
commit
42eadb2656
  1. 7
      scripts/format.sh

7
scripts/format.sh

@ -15,11 +15,12 @@ then
echo formatting echo formatting
$astyle ${format_wildcards} $astyle ${format_wildcards}
else else
echo checking format echo checking format...
$astyle --dry-run ${format_wildcards} | grep Formatted $astyle --dry-run ${format_wildcards} | grep Formatted &>/dev/null
if [[ $? -eq 0 ]] if [[ $? -eq 0 ]]
then then
echo need to format echo Error: need to format
echo "run './scripts/format.sh astyle 1'"
exit 1 exit 1
fi fi
echo no formatting needed echo no formatting needed

Loading…
Cancel
Save