On Tue, Dec 5, 2023, at 11:30 PM, Jacob Bachmeyer wrote: > Zack Weinberg wrote: >> $ autom4te --version >> autom4te (GNU Autoconf) 2.71 >> Features: subsecond-timestamps >> >> Copyright (C) 2021 Free Software Foundation, Inc. >> License GPLv3+/Autoconf: GNU GPL version 3 or later >> <https://gnu.org/licenses/gpl.html>, >> <https://gnu.org/licenses/exceptions.html> >> This is free software: you are free to change and redistribute it. >> There is NO WARRANTY, to the extent permitted by law. >> >> Written by Akim Demaille. >> >> This preserves the effectiveness of sed '/Copyright/,$d' and also >> leaves room for future additions to the "Features:" line. > > That looks like a good idea to me [...]
Karl also approved, so I have gone ahead and implemented this and pushed it to Autoconf. In the process I discovered that *both* automake and autom4te need to advertise the capability for subsecond timestamps; expect a patch for Automake shortly. zw