diff options
Diffstat (limited to 'config/sim.exp')
| -rw-r--r-- | config/sim.exp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/config/sim.exp b/config/sim.exp index 3471f27..50cc508 100644 --- a/config/sim.exp +++ b/config/sim.exp @@ -4,12 +4,12 @@ # it under the terms of the GNU General Public License as published by # the Free Software Foundation; either version 2 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, write to the Free Software # Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. @@ -36,7 +36,7 @@ proc sim_spawn { dest cmdline args } { } else { set simflags "" } - + if ![is_remote host] { if { [which $sim] == 0 } { verbose -log "Simulator $sim missing." 3 |