* mingw: Use sysroot, if present, for mingw_dir.

2010-08-11 03:01:55 +00:00
parent 92514fd261
commit ac8050277c
2 changed files with 9 additions and 1 deletions
--- a/winsup/utils/mingw
+++ b/winsup/utils/mingw
@@ -18,7 +18,11 @@ for d in "$dir"/*-mingw32 "$dir"/usr/*-mingw32 "$dir"/*-mingw* "$dir"/usr/*-ming
         /*-mingw32 /usr/*-mingw32 /*-mingw* /usr/*-mingw*; do
    case "$d" in
 	*\**)	continue ;;
-	*)	mingw_dir=$d; break;
+	*)	if [ -d "$d"/sys-root/mingw ]; then
+		    mingw_dir=$d/sys-root/mingw
+		else
+		    mingw_dir=$d;
+		fi; break;
    esac
 done