File tree Expand file tree Collapse file tree 1 file changed +12
-0
lines changed Expand file tree Collapse file tree 1 file changed +12
-0
lines changed Original file line number Diff line number Diff line change @@ -346,6 +346,18 @@ them.
346
346
symbol, with leading and trailing whitespace ignored, as is anything following
347
347
a '#'. Can be specified multiple times to read names from multiple files.
348
348
349
+ .. option :: --ignore-symbol <symbol >
350
+
351
+ Do not change parameters of symbol <symbol> when executing other options that
352
+ can change the symbol's name, binding or visibility
353
+
354
+ .. option :: --ignore-symbols <filename >
355
+
356
+ Reads a list of symbols from <filename> and runs as if --ignore-symbol=<symbol>
357
+ is set for each one. <filename> contains one symbol per line and may contain
358
+ comments beginning with '#'. Leading and trailing whitespace is stripped from
359
+ each line. May be repeated to read symbols from many files.
360
+
349
361
.. option :: --input-target <format >, -I
350
362
351
363
Read the input as the specified format. See `SUPPORTED FORMATS `_ for a list of
You can’t perform that action at this time.
0 commit comments