> The definition of insanity is doing the same thing over and over again, but expecting different results ;-)
That's what I should answer the next guy who will try the "it's irresponsible to not vote" lecture on me. Nathann > > > > > > > On Sunday, January 24, 2016 at 4:21:50 AM UTC-5, Nathann Cohen wrote: >> >> > So you're not running "make distclean" at all? >> >> No. But I did 5 seconds ago and I am now recompiling everything. >> Perhaps the problem will not happen again. >> >> > Did you verify that you're really on origin/develop, without any other >> > commits or uncommited changes? >> >> Yes yes. I am always on the upstream develop and nothing else. >> >> > The next time that you try this, can you please keep the complete output of >> > what each of these "make" commands produces, together with the output of "ls >> > -l . local" from $SAGE_ROOT and the contents of config.log and the output of >> > "git status" and "git log|head". >> >> The next report I will send here will contain this information, if the >> problem occurs again after the full rebuild. The output of the second >> 'make', however, is usually very long as the command is successful :-) >> >> Thanks, >> >> Nathann > > -- > 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 post to this group, send email to sage-release@googlegroups.com. > Visit this group at https://groups.google.com/group/sage-release. > For more options, visit https://groups.google.com/d/optout. -- 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 post to this group, send email to sage-release@googlegroups.com. Visit this group at https://groups.google.com/group/sage-release. For more options, visit https://groups.google.com/d/optout.
