First. I'm sorry for my last mail. I wrote it while in a seminar. :(
Well, the point is that the only affected file is 'warm.data': in 'clean' we want to remove all files produced during build, but preserve file present in original tree. So, we do not care what exactly is matched by shell glob. We care that files we want to delete match and no original source files match.
Ah, that's different. Actually, we shouldn't use globs at all. What if I've put in the build directory some file. I wouldn't want it to be removed by "make clean". "make clean" should only remove what "make" generated, not more.
I would be quite in favour to fix this and would be willing to invest time in it.
Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
