diff options
| author | John Ericson <Ericson2314@Yahoo.com> | 2015-05-18 04:21:50 +0000 |
|---|---|---|
| committer | John Ericson <Ericson2314@Yahoo.com> | 2015-05-18 12:33:00 -0400 |
| commit | ae444ea4c4e12853e9791d6c567964e345fea922 (patch) | |
| tree | 93f039ed6ccd9a912faafc6474dac80f053a1b8d /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 95c1c686a371954751003c8108f9b6bd49a5338b (diff) | |
agda: Remove `extraBuildFlags`
This is unused, future users can just use override `buildFlags`
and extend/replace as needed. `includeDirs` is provided for this
purpose.
We should add `dirOf self.everythingFile` rather than `.`, but
`dirOf` breaks on relative paths so that is not an option.
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions