cat: logs/install.time: No such file or directory

[David Ayotte]

Hello everybody,

I just upgraded my Sage to version 10.4.beta3, however in the install logs I see the following message:

     cat: logs/install.time: No such file or directory

It seems like a harmless error message as the build succeeded and I can use Sage as usual, but does anybody know what can be the cause? 

Here's the last lines of the logs:

[sage_docbuild-10.4.beta3] [spkg-install]       Successfully uninstalled sage-docbuild-10.4b1
[sage_docbuild-10.4.beta3] [spkg-install] Successfully installed sage-docbuild-10.4b3
[sage_docbuild-10.4.beta3] [spkg-install] cat: ./spkg-install.time: No such file or directory
[sage_docbuild-10.4.beta3] Moving package files from temporary location /home/davidayotte/sage/local/var/lib/sage/venv-python3.11.1/var/tmp/sage/build/sage_docbuild-10.4.beta3/inst to /home/davidayotte/sage/local/var/lib/sage/venv-python3.11.1
[sage_docbuild-10.4.beta3] You can safely delete the build directory /home/davidayotte/sage/local/var/lib/sage/venv-python3.11.1/var/tmp/sage/build/sage_docbuild-10.4.beta3
[sage_docbuild-10.4.beta3] Finished installing sage_docbuild-10.4.beta3
[sage_docbuild-10.4.beta3] cat: /home/davidayotte/sage/logs/pkgs/sage_docbuild-10.4.beta3.time: No such file or directory
make[2]: Leaving directory '/home/davidayotte/sage/build/make'
Sage build/upgrade complete!
cat: logs/install.time: No such file or directory

OS: Ubuntu 22.04.4 LTS via WSL2 on Windows 11

Best,

David A.

[Matthias Koeppe]

Fixed in https://github.com/sagemath/sage/pull/37785, please review