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
@fruffy I'm investigating #5176 (shortening help output on errors) and found that:
The Python entry point at tools/driver/p4c_src/driver.py handles some command-line processing
Could you confirm:
Which file is the primary place to modify the help message behavior?
Should changes be made in this location?
(I notice driver.py uses Python's argparse while - I want to make sure I modify the right one)
Instead, maybe just provide a hint that the
--help
option is available?Originally posted by @ChrisDodd in #5175 (review)
The text was updated successfully, but these errors were encountered: