Disable T12031 on linux
[ghc.git] / libffi /
drwxr-xr-x   ..
-rw-r--r-- 505 Makefile
-rw-r--r-- 5398 ghc.mk
-rwxr-xr-x 18 ln