Fix windows build broken by D3080 (0d86aa5904e5a06c93632357122e57e4e118fd2a)
[ghc.git] / libffi /
drwxr-xr-x   ..
-rw-r--r-- 505 Makefile
-rw-r--r-- 5398 ghc.mk
-rwxr-xr-x 18 ln