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
If I have an empty src/main/sv folder the -incdir is still being added to the args file, the same happens for the exported headers in src/main/sv_headers. Only the directories need to exist to be added to the args file.
The text was updated successfully, but these errors were encountered:
If I have an empty
src/main/sv
folder the -incdir is still being added to the args file, the same happens for the exported headers insrc/main/sv_headers
. Only the directories need to exist to be added to the args file.The text was updated successfully, but these errors were encountered: