You're right. I just ran `./sage -i polymake` and indeed the warning message is somewhere way up before installing requirements (bliss, ninja, lrslib-062+autotools-2017-03-03.p0).
I don't like it, but this explains the behavior. Am Mittwoch, 19. Juni 2019 17:17:27 UTC+2 schrieb Dima Pasechnik: > > in a scenario where an experimental package is upgraded during a rebuild, > it is not always the case that you see the corresponding prompt, as you > typically build in parallel, and messages from a number of threads are > being printed in a semirandom order. > > On Wed, 19 Jun 2019 16:05 'Jonathan Kliem' via sage-devel, < > sage-...@googlegroups.com <javascript:>> wrote: > >> The installation stopped after download in my case and pressing enter >> solved the problem. This was not the confirmation for experimental packages >> (where the terminal tells you to do something). It looked pretty much like >> the above screen shots. >> >> I figured it's a bug, but as I said, never gave it any thought, as it >> didn't bother me. >> >> -- >> You received this message because you are subscribed to the Google Groups >> "sage-devel" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to sage-...@googlegroups.com <javascript:>. >> To post to this group, send email to sage-...@googlegroups.com >> <javascript:>. >> Visit this group at https://groups.google.com/group/sage-devel. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/sage-devel/e10c135f-4ade-4756-9a73-a7711ecff84e%40googlegroups.com >> . >> For more options, visit https://groups.google.com/d/optout. >> > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/866079ec-e80f-49b7-90d4-74eae7a2c964%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
