diff options
| author | Luboš Luňák <l.lunak@suse.cz> | 2012-04-20 12:53:02 +0200 |
|---|---|---|
| committer | Luboš Luňák <l.lunak@suse.cz> | 2012-04-23 19:17:41 +0200 |
| commit | 0341d7b972e6efb5daac0c6ca38949fc35099b53 (patch) | |
| tree | 2e574597fd32d0b4242b191914f0d30b1daee908 /embedserv | |
| parent | db8df57acd601ed084bd0122683e1bd066a4f143 (diff) | |
more flexible --enable-symbols=<for>
the argument given now can
- be 'all', meaning everything
- start with -, meaning not to enable symbols for that item
- end with /, meaning everything in that toplevel directory
- be a target of the form targettype_name, e.g. Library_swui
Note that there is no ordering and removal takes precedence.
Diffstat (limited to 'embedserv')
0 files changed, 0 insertions, 0 deletions