mirror of
https://sourceware.org/git/binutils-gdb.git
synced 2025-01-24 12:35:55 +08:00
1d506c26d9
This commit is the result of the following actions:
- Running gdb/copyright.py to update all of the copyright headers to
include 2024,
- Manually updating a few files the copyright.py script told me to
update, these files had copyright headers embedded within the
file,
- Regenerating gdbsupport/Makefile.in to refresh it's copyright
date,
- Using grep to find other files that still mentioned 2023. If
these files were updated last year from 2022 to 2023 then I've
updated them this year to 2024.
I'm sure I've probably missed some dates. Feel free to fix them up as
you spot them.
50 lines
1.5 KiB
Python
Executable File
50 lines
1.5 KiB
Python
Executable File
#!/usr/bin/env python
|
|
|
|
# Copyright (C) 2018-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/>.
|
|
|
|
# This is a simple program that can be used to print timestamps on
|
|
# standard output. The inspiration for it was ts(1)
|
|
# (<https://joeyh.name/code/moreutils/>). We have our own version
|
|
# because unfortunately ts(1) is or may not be available on all
|
|
# systems that GDB supports.
|
|
#
|
|
# The usage is simple:
|
|
#
|
|
# #> some_command | print-ts.py [FORMAT]
|
|
#
|
|
# FORMAT must be a string compatible with "strftime". If nothing is
|
|
# provided, we choose a reasonable format.
|
|
|
|
import fileinput
|
|
import datetime
|
|
import sys
|
|
import os
|
|
|
|
if len(sys.argv) > 1:
|
|
fmt = sys.argv[1]
|
|
else:
|
|
fmt = "[%b %d %H:%M:%S]"
|
|
|
|
mypid = os.getpid()
|
|
|
|
for line in fileinput.input("-"):
|
|
sys.stdout.write(
|
|
"{} [{}] {}".format(datetime.datetime.now().strftime(fmt), mypid, line)
|
|
)
|
|
sys.stdout.flush()
|