diff options
author | jperkin <jperkin@pkgsrc.org> | 2018-11-12 13:49:16 +0000 |
---|---|---|
committer | jperkin <jperkin@pkgsrc.org> | 2018-11-12 13:49:16 +0000 |
commit | 9b5a438016d5026cab40691562b916c7ddc144b0 (patch) | |
tree | 7e0bb5968deef1639138ff699eeda90a1d40baa3 /mk/platform | |
parent | 0beac452b024ade55864a9713749d272606acd69 (diff) | |
download | pkgsrc-9b5a438016d5026cab40691562b916c7ddc144b0.tar.gz |
ghc7: Add STRIP_FILES_SKIP for a problematic file.
Diffstat (limited to 'mk/platform')
0 files changed, 0 insertions, 0 deletions