diff options
| author | Ben Elliston <bje@gnu.org> | 2004-01-30 04:17:03 +0000 |
|---|---|---|
| committer | Ben Elliston <bje@gnu.org> | 2004-01-30 04:17:03 +0000 |
| commit | 6a3505939beea5fa20318a0dc9866701382f5532 (patch) | |
| tree | 9ea232da8f967324a833ef21be516ed60ad470c3 /config | |
| parent | 904f989fda69bc716dd80ad8d5e2d239aac05144 (diff) | |
| download | dejagnu-6a3505939beea5fa20318a0dc9866701382f5532.zip dejagnu-6a3505939beea5fa20318a0dc9866701382f5532.tar.gz dejagnu-6a3505939beea5fa20318a0dc9866701382f5532.tar.bz2 | |
* Merge dejagnu_1_4_branch up to dejagnu-1_4_4 tag.
Diffstat (limited to 'config')
| -rw-r--r-- | config/default.exp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/config/default.exp b/config/default.exp index a42572f..1f46e41 100644 --- a/config/default.exp +++ b/config/default.exp @@ -33,4 +33,3 @@ proc ${tool}_start { } { verbose "WARNING: Using the default proc for tool_start" 2 return $spawn_id } - |