Index: root/xen-unstable.hg/tools/xm-test/tests/vtpm/03_vtpm-susp_res.py =================================================================== --- root.orig/xen-unstable.hg/tools/xm-test/tests/vtpm/03_vtpm-susp_res.py +++ root/xen-unstable.hg/tools/xm-test/tests/vtpm/03_vtpm-susp_res.py @@ -47,6 +47,7 @@ except ConsoleError, e: FAIL(str(e)) if re.search("No such file",run["output"]): + vtpm_cleanup(domName) FAIL("TPM frontend support not compiled into (domU?) kernel") console.closeConsole() Index: root/xen-unstable.hg/tools/xm-test/tests/vtpm/02_vtpm-cat_pcrs.py =================================================================== --- root.orig/xen-unstable.hg/tools/xm-test/tests/vtpm/02_vtpm-cat_pcrs.py +++ root/xen-unstable.hg/tools/xm-test/tests/vtpm/02_vtpm-cat_pcrs.py @@ -46,6 +46,7 @@ except ConsoleError, e: FAIL(str(e)) if re.search("No such file",run["output"]): + vtpm_cleanup(domName) FAIL("TPM frontend support not compiled into (domU?) kernel") console.closeConsole()