diff options
| author | Dirk Engling <erdgeist@erdgeist.org> | 2014-02-21 01:07:51 +0100 |
|---|---|---|
| committer | Dirk Engling <erdgeist@erdgeist.org> | 2014-02-21 01:07:51 +0100 |
| commit | d649292d1fd9c9ea89a922fdbcdcd2464e900350 (patch) | |
| tree | e8abc78d7aeb9ebce0d6b3fb06839b87bbfeff6e /src/postprocess/dumpindex2.c | |
| parent | 046857dfb88f05e6b310fe9ef07b9f2d3ac5922d (diff) | |
Use full optimization, dont compile mystlib with tools that dont need it
Diffstat (limited to 'src/postprocess/dumpindex2.c')
0 files changed, 0 insertions, 0 deletions