Home | History | Annotate | Download | only in system-gdbinit
      1 # Copyright (C) 2011-2016 Free Software Foundation, Inc.
      2 
      3 # This program is free software; you can redistribute it and/or modify
      4 # it under the terms of the GNU General Public License as published by
      5 # the Free Software Foundation; either version 3 of the License, or
      6 # (at your option) any later version.
      7 #
      8 # This program is distributed in the hope that it will be useful,
      9 # but WITHOUT ANY WARRANTY; without even the implied warranty of
     10 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
     11 # GNU General Public License for more details.
     12 #
     13 # You should have received a copy of the GNU General Public License
     14 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
     15 
     16 """Configure GDB using the WRS/Linux environment."""
     17 
     18 import os
     19 
     20 if 'ENV_PREFIX' in os.environ:
     21     gdb.execute('set sysroot %s' % os.environ['ENV_PREFIX'])
     22 
     23 else:
     24     print "warning: ENV_PREFIX environment variable missing."
     25     print "The debugger will probably be unable to find the correct system libraries"
     26