mirage/dyntype — pull request #4 by pgj (2013-09-04 22:11:24+00:00)
Title: Disable tests for the kFreeBSD backend of Mirage.

I had to conditionally disable the bundled tests as the corresponding binaries cannot be built properly with the Mirage/kFreeBSD cross-compiler. This change should not affect other cases.