From 55704b6ede52a89a629b1fb3689fff245bd11dd5 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Thu, 1 Jan 1970 00:00:00 +0000 Subject: [PATCH] Ignore mingw32-ocaml for now. --- show-build-order.pl | 1 + 1 file changed, 1 insertion(+) diff --git a/show-build-order.pl b/show-build-order.pl index 1954e6c..ffa8491 100755 --- 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. -- 1.8.3.1