| # Copyright 2011-2020 Free Software Foundation, Inc. |
| |
| # This program is free software; you can redistribute it and/or modify |
| # it under the terms of the GNU General Public License as published by |
| # the Free Software Foundation; either version 3 of the License, or |
| # (at your option) any later version. |
| # |
| # This program is distributed in the hope that it will be useful, |
| # but WITHOUT ANY WARRANTY; without even the implied warranty of |
| # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| # GNU General Public License for more details. |
| # |
| # You should have received a copy of the GNU General Public License |
| # along with this program. If not, see <http://www.gnu.org/licenses/>. |
| |
| # By default, DejaGnu makes the board remote unless the board name |
| # matches localhost. Sourcing this script from a board file forces |
| # the board to be NOT remote. |
| |
| global board |
| global board_info |
| # Remove any target variant specifications from the name. |
| set baseboard [lindex [split $board "/"] 0] |
| set board_info($baseboard,isremote) 0 |
| |
| # Set sysroot to avoid sending files via the remote protocol. |
| set GDBFLAGS "${GDBFLAGS} -ex \"set sysroot\"" |
