delete $br{"mingw32-example"};
delete $br{"mingw32-gdb"};
delete $br{"mingw32-python"};
- delete $br{"mingw32-ocaml"};
- delete $br{"mingw32-curl"};
delete $br{"mingw32-pidgin"};
+ delete $br{"mingw32-nspr"};
+ delete $br{"mingw32-nss"};
+ delete $br{"mingw32-ocaml-lablgl"};
# There is a dependency loop (gcc -> runtime/w32api -> gcc)
# which has to be manually resolved below. Break that loop.