# HG changeset patch
# User Chris Cannam
# Date 1407172999 -3600
# Node ID 114c03877f21987901aff878ebf4e210e3949ded
# Parent  fb75075c8238a016f26d4d65087129244d1ecc27
Minor adjustment (not very helpful at this point)

diff -r fb75075c8238 -r 114c03877f21 SCRIPTS/process.sh
--- a/SCRIPTS/process.sh	Mon Aug 04 18:03:21 2014 +0100
+++ b/SCRIPTS/process.sh	Mon Aug 04 18:23:19 2014 +0100
@@ -12,9 +12,12 @@
 #platform=linux
 #bits=64
 
+mydir=$(dirname "$0")
+
 platform=mingw
 bits=32
 toolprefix=i686-w64-mingw32- 
+depincdir=$(mydir)/DEPENDENCIES/win32-mingw/include
 
 plugindirs="$@"
 if [ -z "$plugindirs" ]; then
@@ -68,7 +71,7 @@
     if configure_maybe "$dir"; then
 	mfile=$(find_makefile "$dir")
 	if [ -n "$mfile" ]; then
-	    make -C "$dir" -f "$mfile" TOOLPREFIX="$toolprefix" 2>&1 | tee "$reportdir/$dir.build.txt"
+	    make -C "$dir" -f "$mfile" TOOLPREFIX="$toolprefix" CXXFLAGS="-I$depincdir" 2>&1 | tee "$reportdir/$dir.build.txt"
 	    return ${PIPESTATUS[0]}
 	else
 	    echo "Failed to find a Makefile in $dir"