| # Copyright constant for Python code to use. | 
 | # | 
 | # Copyright (C) 2022-2024 Free Software Foundation, Inc. | 
 | # | 
 | # This file is part of GDB. | 
 | # | 
 | # This program is free software; you can redistribute it and/or modify | 
 | # it under the terms of the GNU General Public License as published by | 
 | # the Free Software Foundation; either version 3 of the License, or | 
 | # (at your option) any later version. | 
 | # | 
 | # This program is distributed in the hope that it will be useful, | 
 | # but WITHOUT ANY WARRANTY; without even the implied warranty of | 
 | # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the | 
 | # GNU General Public License for more details. | 
 | # | 
 | # You should have received a copy of the GNU General Public License | 
 | # along with this program.  If not, see <http://www.gnu.org/licenses/>. | 
 |  | 
 |  | 
 | def copyright(tool: str, description: str): | 
 |     # Search the tool source itself for the correct copyright years. | 
 |     with open(tool, "r") as f: | 
 |         for line in f: | 
 |             if line.startswith("# Copyright (C) "): | 
 |                 dateline = line[1:].strip() | 
 |                 break | 
 |     return f"""/* THIS FILE IS GENERATED -*- buffer-read-only: t -*- */ | 
 | /* vi:set ro: */ | 
 |  | 
 | /* {description} | 
 |  | 
 |    {dateline} | 
 |  | 
 |    This file is part of GDB. | 
 |  | 
 |    This program is free software; you can redistribute it and/or modify | 
 |    it under the terms of the GNU General Public License as published by | 
 |    the Free Software Foundation; either version 3 of the License, or | 
 |    (at your option) any later version. | 
 |  | 
 |    This program is distributed in the hope that it will be useful, | 
 |    but WITHOUT ANY WARRANTY; without even the implied warranty of | 
 |    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the | 
 |    GNU General Public License for more details. | 
 |  | 
 |    You should have received a copy of the GNU General Public License | 
 |    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */ | 
 |  | 
 | /* To regenerate this file, run: | 
 |    ./{tool} | 
 | */""" |