Ignore mingw32-ocaml for now.

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