Fix #10713.
[ghc.git] / mk /
drwxr-xr-x   ..
-rw-r--r-- 8262 build.mk.sample
-rw-r--r-- 1756 compiler-ghc.mk
-rw-r--r-- 26910 config.mk.in
-rw-r--r-- 258 custom-settings.mk
-rw-r--r-- 863 fptools.css
-rw-r--r-- 6254 install.mk.in
-rw-r--r-- 5913 project.mk.in
-rw-r--r-- 2018 sub-makefile.mk
-rw-r--r-- 2574 tree.mk
-rw-r--r-- 1127 validate-settings.mk
-rw-r--r-- 4679 warnings.mk
-rw-r--r-- 2989 ways.mk