Paul Masson wrote:
> Success! Many thanks to all who contributed.
Fine.
Just for the record: While 'git status' doesn't show untracked empty
folders as Volker mentioned,
git ls-files -o --directory --exclude-standard
would have shown you (also) the left-over folders which led to this.
("List other (untracked) files which aren't (explicitly) ignored." The
'--directory' is necessary to list also *empty* folders of that kind,
while its actual meaning is to /not show the contents/ of matching
directories, but only themselves, similar to 'ls -d ...'.)
But as I said, there's definitely a bug in Sage's top-level 'configure'
we will fix, such that this kind of obscure error will never happen again.
-leif
--
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.
