[ELinOS] Best effort to load system libraries in case of incomplete env
authorJoel Brobecker <brobecker@gnat.com>
Tue, 1 Oct 2013 09:21:52 +0000 (09:21 +0000)
committerJoel Brobecker <brobecker@gnat.com>
Tue, 1 Oct 2013 09:21:52 +0000 (09:21 +0000)
commit0aebdefa32dd85acb39c05c5c1039bfe4304148f
tree9e071231587f15ecc36eb7f778749f1a96e9a92f
parent1c8e84b0827ace271c460abcc13df9414304cc09
[ELinOS] Best effort to load system libraries in case of incomplete env

So far elinos.py was assuming that the whole ELinOS environment was
around to find the system libraries; if some environment variables
were missing, the script would just abort.

This was a bit extreme. It is possible to do better than that: to get
the core system libraries, one doesn't need to have a full environment
but just the path to the CDK. The path to kernel project is only
needed for the optional Xenomai libs.

gdb/ChangeLog:

* system-gdbinit/elinos.py (get_elinos_environment): Return an
incomplete dictionnary instead of None in case of missing
environment variables.
(elinos_init): in case of an incomplete environment, best
effort to load system libraries instead of abort.
gdb/ChangeLog
gdb/system-gdbinit/elinos.py