--- build.xml.orig 2013-07-23 00:26:41.000000000 +0200 +++ build.xml 2013-10-29 16:27:54.000000000 +0100 @@ -452,7 +452,7 @@ - + - @@ -2042,7 +2042,7 @@ - + @@ -2076,7 +2076,7 @@ - + @@ -2099,7 +2099,7 @@ - + @@ -2120,7 +2120,7 @@ - + @@ -2176,7 +2176,7 @@ + depends="compile-c++-pipes"/> + + + + + + + + + + + + + + + + + +