You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently, we're filtering .svh files in the plugin core, not using an exclude in the SourceDirectorySet. If we used a default exclude, the user would be able to clear it (using excludes = []) and would be able to specify a .svh file as something that should be compiled directly.
The situation arises in legacy package, where there isn't much discipline.
The text was updated successfully, but these errors were encountered:
Currently, we're filtering
.svh
files in the plugin core, not using anexclude
in theSourceDirectorySet
. If we used a defaultexclude
, the user would be able to clear it (usingexcludes = []
) and would be able to specify a.svh
file as something that should be compiled directly.The situation arises in legacy package, where there isn't much discipline.
The text was updated successfully, but these errors were encountered: