diff options
| author | hasufell <julian.ospald@googlemail.com> | 2013-07-11 12:36:14 +0200 |
|---|---|---|
| committer | hasufell <julian.ospald@googlemail.com> | 2013-07-11 12:36:14 +0200 |
| commit | 19d435648443bc0dc7a1a4058de1eeb79730d809 (patch) | |
| tree | b1247163d1ac24c2d21763852b613196809cae8c /src/htm/Resources | |
| parent | be1e6bde65fc1e7a4d93e898cc9d58dd4f042d41 (diff) | |
CONFIGURE: add "--enable-minimal-flags"
This will turn off automagic adding of flags that might be unwanted such as "-g" or "-pipe".
Diffstat (limited to 'src/htm/Resources')
0 files changed, 0 insertions, 0 deletions