From 27e4ee3755539d3103222262ea3d6e30b21024d3 Mon Sep 17 00:00:00 2001 From: MilesCranmer Date: Mon, 1 Jan 2024 10:47:57 +0000 Subject: [PATCH] Add `--bug-report` command line flag --- src/julia/options.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/julia/options.py b/src/julia/options.py index 00ba9801..0ad21e77 100644 --- a/src/julia/options.py +++ b/src/julia/options.py @@ -126,6 +126,10 @@ def yes_no_etc(*etc): Enable or disable syntax and method deprecation warnings ("error" turns warnings into errors). +bug_report: str + Launch a bug report session using BugReporting.jl. + Run `julia --bug-report=help` for more information. + inline: {True, False, 'yes', 'no'} Control whether inlining is permitted, including overriding @inline declarations. @@ -168,6 +172,7 @@ class JuliaOptions(object): compiled_modules = Choices("compiled_modules", yes_no_etc()) compile = Choices("compile", yes_no_etc("all", "min")) depwarn = Choices("depwarn", yes_no_etc("error")) + bug_report = String("bug_report") warn_overwrite = Choices("warn_overwrite", yes_no_etc()) min_optlevel = Choices("min_optlevel", dict(zip(range(4), map(str, range(4))))) optimize = Choices("optimize", dict(zip(range(4), map(str, range(4)))))