--- dejagnu-orig/runtest.exp 2008-08-23 20:20:24.000000000 +0200 +++ dejagnu/runtest.exp 2008-08-23 20:25:44.000000000 +0200 @@ -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]} {