File tree Expand file tree Collapse file tree 1 file changed +7
-6
lines changed Expand file tree Collapse file tree 1 file changed +7
-6
lines changed Original file line number Diff line number Diff line change @@ -466,15 +466,16 @@ them.
466
466
467
467
.. option :: --skip-symbol <symbol >
468
468
469
- Do not change parameters of symbol <symbol> when executing other options that
470
- can change the symbol's name, binding or visibility.
469
+ Do not change the parameters of symbol `` <symbol> `` when executing other
470
+ options that can change the symbol's name, binding or visibility.
471
471
472
472
.. option :: --skip-symbols <filename >
473
473
474
- Read a list of symbols from <filename> and run as if --skip-symbol=<symbol>
475
- is set for each one. <filename> contains one symbol per line and may contain
476
- comments beginning with '#'. Leading and trailing whitespace is stripped from
477
- each line. May be repeated to read symbols from many files.
474
+ Do not change the parameters of symbols named in the file ``<filename> `` when
475
+ executing other options that can change the symbol's name, binding or
476
+ visibility. In the file, each line represents a single symbol, with leading
477
+ and trailing whitespace ignored, as is anything following a '#'.
478
+ Can be specified multiple times to read names from multiple files.
478
479
479
480
.. option :: --split-dwo <dwo-file >
480
481
You can’t perform that action at this time.
0 commit comments