diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-01-25T16·04+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-01-25T16·04+0000 |
| commit | 5388944e8d1ca61e23d42a6a0769b925f099f4e1 (patch) | |
| tree | 9f6c90aeea01d8ad1cc99102a27751de7d409912 /make/lib/make-library.sh | |
| parent | f0c0277970f8283428b599d8da8089756583a26c (diff) | |
* Make the garbage collector do the right thing when `gc-keep-outputs'
is enabled by not depending on the deriver.
Diffstat (limited to 'make/lib/make-library.sh')
0 files changed, 0 insertions, 0 deletions