|
From: Gunter K. <gu...@pe...> - 2018-06-07 04:22:19
|
On 04.06.2018 22:32, Stavros Macrakis (Σταῦρος Μακράκης) wrote:
> Hence the importance of including version information as provided by
> bug_report().
>
> I just noticed that the startup header does not mention the host info,
> and neither mentions the OS version.
>
> Shouldn't they both include all that info, e.g.:
>
> Maxima 5.41.0a_dirty
> using Lisp SBCL 1.3.18
> x86_64-w64-mingw32, Windows 10.0.17134
>
> On the other hand, is the build date useful if the branch version is
> included?
>
A few years ago the builds of many programs would include the build host
name and the build timestamp in order to provide as much information as
possible. And gcc tended to produce slightly different results on
different processor types.
Nowadays debian fights for making builds byte-per-byte reproducible.
They have invested much work in making gcc produce the same result on
different processors.
=> With today's knowledge I would be against including the build date.
But the rest of the info perhaps shouldn't hurt.
Kind regards,
Gunter.
|