mirror of https://gitee.com/Nocallback/dejagnu.git
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
35 lines
1.2 KiB
35 lines
1.2 KiB
# Copyright (C) 1997, 1998, 1999, 2000, 2001, 2002, 2003 Free Software
|
|
# Foundation, Inc.
|
|
#
|
|
# This file is part of DejaGnu.
|
|
#
|
|
# DejaGnu 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 2 of the License, or
|
|
# (at your option) any later version.
|
|
#
|
|
# DejaGnu 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 DejaGnu; if not, write to the Free Software Foundation,
|
|
# Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
|
|
|
|
# This file was written by Rob Savoye. (rob@welcomehome.org)
|
|
|
|
proc ${tool}_version { } {
|
|
verbose "WARNING: Using the default proc for tool_version" 2
|
|
}
|
|
|
|
proc ${tool}_exit {} {
|
|
verbose "WARNING: Using the default proc for tool_exit" 2
|
|
}
|
|
|
|
proc ${tool}_start { } {
|
|
global spawn_id
|
|
|
|
verbose "WARNING: Using the default proc for tool_start" 2
|
|
return $spawn_id
|
|
}
|
|
|