diff options
Diffstat (limited to 'gdb/gdb_indent.sh')
| -rwxr-xr-x | gdb/gdb_indent.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gdb/gdb_indent.sh b/gdb/gdb_indent.sh index e54e08eac53..1e727fe2309 100755 --- a/gdb/gdb_indent.sh +++ b/gdb/gdb_indent.sh @@ -47,6 +47,7 @@ esac case `pwd` in */gdb ) ;; + */sim/* ) ;; * ) echo "Not in GDB directory" 1>&2 ; exit 1 ;; esac |