From da897a2a14ac229dbd542f2f11c970dcb005944d Mon Sep 17 00:00:00 2001 From: Alexander Barton Date: Mon, 1 Aug 2011 23:39:29 +0200 Subject: [PATCH] contrib/ngindent: detect "gindent" as GNU indent --- contrib/ngindent | 1 + 1 file changed, 1 insertion(+) diff --git a/contrib/ngindent b/contrib/ngindent index 73537a6d..2ce1a26a 100755 --- a/contrib/ngindent +++ b/contrib/ngindent @@ -4,6 +4,7 @@ INDENTARGS="-kr -i8 -ts8 -l80 -c3 -cd41 -ss -ncs -psl" # check if indent(1) is available type indent >/dev/null 2>&1 && INDENT="indent" +type gindent >/dev/null 2>&1 && INDENT="gindent" type gnuindent >/dev/null 2>&1 && INDENT="gnuindent" if [ -z "$INDENT" ]; then