Browse Source

fixed error reporting in src instead of _build

Nicolas Cannasse 8 years ago
parent
commit
a4a1651eb8
1 changed files with 1 additions and 1 deletions
  1. 1 1
      Makefile.win

+ 1 - 1
Makefile.win

@@ -27,7 +27,7 @@ FILTER=sed 's/File "\([^"]\+\)", line \([0-9]\+\), \(.*\)/\1(\2): \3/' tmp.cmi
 endif
 
 ifeq (${FD_OUTPUT}, 1)
-FILTER=sed '/File/{ N; s/File "\([^"]\+\)", line \([0-9]\+\), characters \([0-9-]\+\):[\r\n]*\(.*\)/\1:\2: characters \3 : \4/ }' tmp.cmi
+FILTER=sed -e '/File/{ N; s/File "\([^"]\+\)", line \([0-9]\+\), characters \([0-9-]\+\):[\r\n]*\(.*\)/\1:\2: characters \3 : \4/ }' -e 's/_build\/src\//src\//' tmp.cmi
 endif
 
 ifdef FILTER