On 2016-01-24 10:04, Nathann Cohen wrote:
At each
new beta I checkout develop and pull the new commits, then run 'make'
and this message happens. If I type 'make' again right after the
message does *not* appear, and the compilation goes on.
So you're not running "make distclean" at all?
Did you verify that you're really on origin/develop, without any other
commits or uncommited changes?
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".
Jeroen.
--
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.
