diff options
Diffstat (limited to 'gdb/gdb_indent.sh')
-rwxr-xr-x | gdb/gdb_indent.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/gdb_indent.sh b/gdb/gdb_indent.sh index 0d0829a4a13..c47ef95828d 100755 --- a/gdb/gdb_indent.sh +++ b/gdb/gdb_indent.sh @@ -37,7 +37,7 @@ fi # Different indent versions give different indentation. case `${indent} --version 2>/dev/null < /dev/null` in - GNU*2.2.6 ) ;; + GNU*2.2* ) ;; *GNU* ) echo "Incorrect version of GNU indent" 1>&2 ;; * ) echo "Indent is not GNU" 1>&2 ;; esac |