Ignore mingw32-boost for now, because it doesn't work.

diff --git a/show-build-order.pl b/show-build-order.pl
index ffa8491..33a090f 100755 (executable)
--- a/show-build-order.pl
+++ b/show-build-order.pl
@@ -60,6 +60,7 @@ sub main {
     delete $br{"mingw32-gdb"};
     delete $br{"mingw32-python"};
     delete $br{"mingw32-ocaml"};
+    delete $br{"mingw32-boost"};
 
     # There is a dependency loop (gcc -> runtime/w32api -> gcc)
     # which has to be manually resolved below.  Break that loop.