Skip to content

Commit 52b20c8

Browse files
committed
Pull slang patch to adjust default severities
1 parent 39fb317 commit 52b20c8

File tree

2 files changed

+4
-2
lines changed

2 files changed

+4
-2
lines changed

README.md

+3-1
Original file line numberDiff line numberDiff line change
@@ -74,7 +74,9 @@ Or, alternatively, you load the plugin at runtime with the `plugin` command:
7474

7575
After the plugin has been loaded, the frontend is invoked with the `read_slang` command.
7676

77-
For a full documentation of the command options, see `help read_slang`. The command understands standard [slang options](https://www.sv-lang.com/command-line-ref.html) in addition to other options.
77+
For a full documentation of the command options, see `help read_slang`. The command understands standard [slang options](https://www.sv-lang.com/command-line-ref.html) except for:
78+
79+
* `-Wno-unknown-sys-name` / `-Wunknown-sys-name`
7880

7981
Sample usage:
8082

third_party/slang

0 commit comments

Comments
 (0)