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 thin
> 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: 201
On Thursday, September 22, 2016 at 1:14:08 PM UTC, Luca De Feo wrote:
>
> I just tried `make -B` inside a source install. I recommend it :)
>
> make -B makes all targets (including distclean etc)
For even more fun, try "sudo rm -f /" next time ;-)
> Luca
>
> P.S.: Seriously, I am not a Makef
