> On 8/12/2017, at 11:48, Simon King <simon.k...@uni-jena.de> wrote: > > Hi François, > > On 2017-12-07, François Bissey <frp.bis...@gmail.com> 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 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. For more options, visit https://groups.google.com/d/optout.
