diff options
Diffstat (limited to 'gdb/system-gdbinit/elinos.py')
| -rw-r--r-- | gdb/system-gdbinit/elinos.py | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/gdb/system-gdbinit/elinos.py b/gdb/system-gdbinit/elinos.py index 298a87f..486fa4e 100644 --- a/gdb/system-gdbinit/elinos.py +++ b/gdb/system-gdbinit/elinos.py @@ -79,9 +79,8 @@ def elinos_init(): if elinos_env["project"] is None: warn("Xenomai libraries may not be loaded") else: - for dir in elinos_env['xenomai']: - solib_dirs += ["%s/%s" - % (dir, "xenomai-build/usr/realtime/lib")] + for dir in elinos_env["xenomai"]: + solib_dirs += ["%s/%s" % (dir, "xenomai-build/usr/realtime/lib")] if len(solib_dirs) != 0: gdb.execute("set solib-search-path %s" % ":".join(solib_dirs)) |