-
-
Notifications
You must be signed in to change notification settings - Fork 5.7k
Allow long-form --debug-info option
#47257
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
|
I've never used debug, i.e. -g, but I would like a debug option with some specific other changes, so maybe hold on on --debug? I see -d isn't used, not sure why -g was chosen, was it intentional to not conflict with a later --debug (and -d) option? |
|
Yes, imo we should save |
|
The option is likely called |
|
I renamed the option to |
--debug option--debuginfo option
|
@KristofferC Do you approve if the long name of the |
|
I think |
--debuginfo option--debug-info option
The Julia executable allows long-form options (e.g.
--optimize) for almost all options. Noticeably missing is a long-form option for-g, and this somehow rubs me the wrong way.This PR adds long-form options for the two missing cases,
--debugand--interactive.