don't include config.mk if we're cleaning
[packages/integer-gmp.git] / gmp /
drwxr-xr-x   ..
-rw-r--r-- 66 config.mk.in
-rw-r--r-- 5738 ghc.mk
-rw-r--r-- 18 ln
drwxr-xr-x - tarball