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/export/extract_version_2.c | |
parent | 046857dfb88f05e6b310fe9ef07b9f2d3ac5922d (diff) |
Use full optimization, dont compile mystlib with tools that dont need it
Diffstat (limited to 'src/export/extract_version_2.c')
0 files changed, 0 insertions, 0 deletions