On Tuesday, March 31, 2020 at 4:18:08 PM UTC-4, Markus Wageringel wrote: > > my patchbot failed multiple times with the following possibly related > error: > > ... > Sage build/upgrade complete! > make[1]: Verzeichnis „/amd/compute/sagebot/sage“ wird verlassen > sh: /amd/compute/sagebot/sage/local/bin/sage-starts: Datei oder > Verzeichnis nicht gefunden > > That is, the file `local/bin/sage-starts` is not found. This is with > CentOS 7.7. > > This script was moved in https://trac.sagemath.org/ticket/23769
-- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-release+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-release/2751c224-bde4-4ad0-941a-4f85f09c9c04%40googlegroups.com.
