diff options
Diffstat (limited to 'gdb/gdb_indent.sh')
| -rwxr-xr-x | gdb/gdb_indent.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gdb/gdb_indent.sh b/gdb/gdb_indent.sh index 41b95d2642b..115b99521fc 100755 --- a/gdb/gdb_indent.sh +++ b/gdb/gdb_indent.sh @@ -3,6 +3,11 @@ # Try to find a GNU indent. There could be a BSD indent in front of a # GNU gindent so when indent is found, keep looking. +# Make certain that the script is not running in an internationalized +# environment. +LANG=c ; export LANG +LC_ALL=c ; export LC_ALL + gindent= indent= paths=`echo $PATH | sed \ |