--- dejagnu-1.4.4/runtest.exp.old 2003-10-15 15:22:52.000000000 +0200 +++ dejagnu-1.4.4/runtest.exp 2008-08-27 16:22:18.000000000 +0200 @@ -1443,8 +1443,7 @@ 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] {