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 | 9ce56bf0ed5d5c3c37f8abddbf8c44658c4db6fb (patch) | |
| tree | 85b08de2b85ce1f10542c530420eb9235f1329d5 /gdb/gdb_indent.sh | |
| parent | abf442ea987b792d109e953f42650f570d8b8a77 (diff) | |
| download | gdb-9ce56bf0ed5d5c3c37f8abddbf8c44658c4db6fb.tar.gz | |
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 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 |