14 lines
439 B
Diff
14 lines
439 B
Diff
diff -up dejagnu-1.5/runtest.exp.orig dejagnu-1.5/runtest.exp
|
|
--- dejagnu-1.5/runtest.exp.orig 2011-03-04 13:09:59.000000000 +0100
|
|
+++ dejagnu-1.5/runtest.exp 2011-03-22 14:43:06.090850456 +0100
|
|
@@ -1443,8 +1443,7 @@ proc runtest { test_file_name } {
|
|
global tool
|
|
|
|
clone_output "Running $test_file_name ..."
|
|
- set prms_id 0
|
|
- set bug_id 0
|
|
+ reset_vars
|
|
set test_result ""
|
|
|
|
if {[file exists $test_file_name]} {
|