diff options
author | Michal Ludvig <mludvig@suse.cz> | 2002-10-24 01:37:40 +0000 |
---|---|---|
committer | Michal Ludvig <mludvig@suse.cz> | 2002-10-24 01:37:40 +0000 |
commit | b64bbf8c48a18ee3e1c158d5df43141033144bbf (patch) | |
tree | 099b502ef3bc8d324901f4c0bb1be150d30d289b /gdb/gdb_indent.sh | |
parent | baed091b2b498c9cd74af81c6891ad13c312ee47 (diff) |
Reindented.
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 0d0829a4a1..c47ef95828 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 |