I mean to say that I don't see how "make -B" can work on anything but very trivial makefiles....
On Friday, September 23, 2016 at 9:11:50 AM UTC, Luca De Feo wrote: > > > make -B makes all targets (including distclean etc) > > For even more fun, try "sudo rm -f /" next time ;-) > > I don't think that's what was happening on my side. Here's what I > have, make repeatedly tries to build build/make/Makefile : > > $ ./sage --version > SageMath version 7.4.beta5, Release Date: 2016-09-16 > $ make -B build > make build/make/Makefile > make[1]: Entering directory '/home/defeo/sage' > make build/make/Makefile > make[2]: Entering directory '/home/defeo/sage' > make build/make/Makefile > make[3]: Entering directory '/home/defeo/sage' > make build/make/Makefile > make[4]: Entering directory '/home/defeo/sage' > make build/make/Makefile > make[5]: Entering directory '/home/defeo/sage' > make build/make/Makefile > make[6]: Entering directory '/home/defeo/sage' > make build/make/Makefile > make[7]: Entering directory '/home/defeo/sage' > make build/make/Makefile > make[8]: Entering directory '/home/defeo/sage' > make build/make/Makefile > > and it goes on... it quickly reaches thousands of nested invocations, > only solution is to kill it. > > On another machine this fails after exactly 234 invocations. My guess > is that this is dependent on the version of make. > > Luca > -- 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.