Restore debug info
This commit is contained in:
parent
01061dc4b6
commit
e8eb5b9b45
|
@ -12,8 +12,6 @@ path = "src/rust/lib.rs"
|
|||
|
||||
[profile.dev]
|
||||
lto = false
|
||||
# XXX: 2 -> removes debug information in later rust verions
|
||||
# 0 -> requires more imports that are optimised away
|
||||
opt-level = 2
|
||||
panic = "abort"
|
||||
overflow-checks = false
|
||||
|
|
|
@ -11,7 +11,10 @@ def main():
|
|||
args = sys.argv[1:]
|
||||
|
||||
# filter out args inserted by rustc
|
||||
TO_REMOVE = {"--stack-first"}
|
||||
TO_REMOVE = {
|
||||
"--stack-first",
|
||||
"--strip-debug", # TODO: Make this configurable
|
||||
}
|
||||
args = list(filter(lambda arg: arg not in TO_REMOVE, args))
|
||||
|
||||
lld = find_rust_lld()
|
||||
|
|
Loading…
Reference in a new issue