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]} {