> On 8/12/2017, at 11:48, Simon King <[email protected]> wrote: > > Hi François, > > On 2017-12-07, François Bissey <[email protected]> wrote: >>> Strangely, git status mentions >>> src/sage/libs/cypari2/ >>> which my local branch is *not* touching. So, what's happening? >>> >> >> Anything in that folder? That folder has been removed when cypari2 has been >> made a separate package. git sometimes don’t remove folders that have been >> removed. What is the exact git status for that folder? > > Sorry, I cannot tell exactly, as I deleted the folder and then tried > "make" (without "make distclean") again. It did not succeed. > > Anyway. The branch used to be an old one. I checked it out and then > rebased on top of the latest develop. Do I understand correctly that > while rebasing, git failed to remove the cypari2 folder? >
Seems like it. Which is why I asked if there was anything in it. François -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
