From 5a93a4089be0b315d2f9d833e06429316a2dd269 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Steffen=20M=C3=BCthing?=
<steffen.muething@iwr.uni-heidelberg.de>
Date: Mon, 11 Feb 2019 21:25:30 +0100
Subject: [PATCH] Fix typo
---
bin/dune-ctest | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/bin/dune-ctest b/bin/dune-ctest
index c4764ded8..3f9dfdbe8 100755
--- a/bin/dune-ctest
+++ b/bin/dune-ctest
@@ -151,7 +151,7 @@ class CTestParser:
self.printTest(test,output="Compilation error")
else:
error = et.SubElement(testcase,"error")
- error.set("message"."unknown error during test execution")
+ error.set("message","unknown error during test execution")
error.set("type","unknown")
error.text = msg
self.errors += 1
--
GitLab