Kdevelop-2.0: Make command

[Roland Krause]

I was toying around with the idea to move the "Make-Command selection"
from Options->Kdevelop Setup->General to Project->Options->Make Options
where I think it belongs.

Now I realize that there was a reason to put it where it is, namely
that some systems (BSD?) seem to have competing make and gmake programs
installed. 

Nevertheless I think that the selection of the make command is an
option that should be set on a "per project" basis. This is especially
useful for custom projects (e.g. for my own where make is replaced by a
"build" shell script).

I have the code for this working locally, just wanted to ask whether to
do this is a good idea ? 

Roland

=====
--
Roland Krause
In the garage of life there are mechanics and 
there are drivers. Mechanics wanted!

__________________________________________________
Do You Yahoo!?
Get email at your own domain with Yahoo! Mail. 
http://personal.mail.yahoo.com/

-
to unsubscribe from this list send an email to kdevelop-devel-request at kdevelop.org with the following body:
unsubscribe »your-email-address«