Re: [sage-devel] A suggestion for "make"

2015-05-25 Thread Jeroen Demeyer
On 2015-05-24 20:41, john_perry_usm wrote: Does it seem reasonable to add a prompt at the beginning of the Makefile that points this out, suggests './sage -b' if they just want to fix some changes I am very much against this. The normal way to rebuild is to use "make", while "./sage -b" should o

[sage-devel] A suggestion for "make"

2015-05-24 Thread john_perry_usm
I once knew that "sage -b" is the proper way to rebuild after a small change to Sage, but I've been working with other software since then. On most software, "make" is the ordinary way to go, so it tripped lightly off my fingers. Thereby I discovered that typing "make" rebuilds an awful lot of