make repeated 'make distclean' not fail
[ghc.git] / mk /
drwxr-xr-x   ..
-rw-r--r-- 5756 bootstrap.mk
-rw-r--r-- 2609 build.mk.sample
-rw-r--r-- 35948 config.mk.in
-rw-r--r-- 147 custom-settings.mk
-rw-r--r-- 625 fix_install_names.sh
-rw-r--r-- 826 fptools.css
-rw-r--r-- 5201 project.mk.in
-rw-r--r-- 997 sub-makefile.mk
-rw-r--r-- 849 validate-settings.mk