diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/odp_check | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/scripts/odp_check b/scripts/odp_check index 09c859b..33809dc 100755 --- a/scripts/odp_check +++ b/scripts/odp_check @@ -1,8 +1,6 @@ #!/bin/bash # -# This script is an indenter, white space remover, -# formatter, and beautifier and general source file -# clean up for the ODP project. +# This script is a clean up for the ODP project src files. # # Usage # ./scripts/opd_check <path/filename> @@ -10,11 +8,5 @@ set -e DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" -if ! type "astyle" >/dev/null >/dev/null; then - echo "Please install astyle from http://astyle.sourceforge.net/" - exit -1 -fi - -astyle --style=linux --indent=force-tab=8 --align-pointer=name $1 $DIR/cleanfile $1 $DIR/checkpatch.pl -f $1 |