diff options
Diffstat (limited to 'contrib/ngindent')
| -rwxr-xr-x | contrib/ngindent | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/contrib/ngindent b/contrib/ngindent deleted file mode 100755 index 69636a4b..00000000 --- a/contrib/ngindent +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/sh - -INDENTARGS="-kr -i8 -ts8 -l80 -c3 -cd41 -ss -ncs -psl" - -# check if indent(1) is available -command -v indent >/dev/null 2>&1 && INDENT="indent" -command -v gindent >/dev/null 2>&1 && INDENT="gindent" -command -v gnuindent >/dev/null 2>&1 && INDENT="gnuindent" - -if [ -z "$INDENT" ]; then - echo "Error: GNU \"indent\" not found!" - exit 1 -fi - -$INDENT -v $INDENTARGS "$@" - -# -eof- |