changeset 14:114c03877f21

Minor adjustment (not very helpful at this point)
author Chris Cannam
date Mon, 04 Aug 2014 18:23:19 +0100
parents fb75075c8238
children 663ca0da4350
files SCRIPTS/process.sh
diffstat 1 files changed, 4 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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"