/* DWARF 2 debugging format support for GDB.
Copyright (C) 1994-2020 Free Software Foundation, Inc.
+ Copyright (C) 2019-2020 Advanced Micro Devices, Inc. All rights reserved.
Adapted by Gary Funck (gary@intrepid.com), Intrepid Technology,
Inc. with support from Florida State University (under contract
list_in_scope = get_builder ()->get_file_symbols ();
- get_builder ()->record_debugformat ("DWARF 2");
+ get_builder ()->record_debugformat (xstrprintf ("DWARF %d", this->header.version));
get_builder ()->record_producer (producer);
processing_has_namespace_info = false;