Use both 'make' and 'gmake' in make filter
parent
2bee8d8080
commit
3899081166
|
@ -33,10 +33,10 @@
|
|||
|
||||
<match what="stderr" pattern="(?P<file>[^:]+)\((?P<line>\d+)\):(\d+:)?\s*(warning|remark).*" style="output-error"/>
|
||||
|
||||
<match what="stdout" pattern="^make\[\d+\]: Entering directory `(?P<dir>.*)'">
|
||||
<match what="stdout" pattern="^g?make\[\d+\]: Entering directory `(?P<dir>.*)'">
|
||||
<action type="push" name="directory" substring="dir"/>
|
||||
</match>
|
||||
<match what="stdout" pattern="^make\[\d+\]: Leaving directory">
|
||||
<match what="stdout" pattern="^g?make\[\d+\]: Leaving directory">
|
||||
<action type="pop" name="directory"/>
|
||||
</match>
|
||||
</filter>
|
||||
|
|
Loading…
Reference in New Issue