about summary refs log tree commit diff
path: root/src
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2005-08-01T13·24+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2005-08-01T13·24+0000
commitf450c8ea2f0917f3a8df77d8c849eed713f96cbd (patch)
tree6525db9de652c5bf39c78c481c166d275a04aaf1 /src
parent800a6ff845ff951ff54a43fd4098b2e505f6eb02 (diff)
* Oops. XSL stylesheet to mark errors.
Diffstat (limited to 'src')
-rw-r--r--src/log2xml/mark-errors.xsl24
1 files changed, 24 insertions, 0 deletions
diff --git a/src/log2xml/mark-errors.xsl b/src/log2xml/mark-errors.xsl
new file mode 100644
index 000000000000..4e91913e570a
--- /dev/null
+++ b/src/log2xml/mark-errors.xsl
@@ -0,0 +1,24 @@
+<?xml version="1.0"?>
+
+<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
+
+  <xsl:template match="@*|node()">
+    <xsl:copy>
+      <xsl:apply-templates select="@*|node()"/>
+    </xsl:copy>
+  </xsl:template>
+
+  <xsl:template match="line">
+    <line>
+      <xsl:if test="contains(text(), ' *** ') or
+                    contains(text(), 'LaTeX Error') or
+                    contains(text(), 'FAIL:') or
+                    contains(text(), ' error: ') or
+                    true">
+         <xsl:attribute name="error"></xsl:attribute>
+      </xsl:if>
+      <xsl:apply-templates select="@*|node()"/>
+    </line>
+  </xsl:template>
+  
+</xsl:stylesheet>
\ No newline at end of file