Hi,
after a pretty frustrating afternoon[1] yesterday I hacked a new
optional makeCommand attribute into workspace in trunk[2]. All
make builder will use that in order to determine which make command
to use. The default is make.
It turns out that I also had to set the MAKE environment
On May 4, 2007, at 7:39 AM, Stefan Bodewig wrote:
after a pretty frustrating afternoon[1] yesterday I hacked a new
optional makeCommand attribute into workspace in trunk[2]. All
make builder will use that in order to determine which make command
to use. The default is make.
It turns out
On Fri, 4 May 2007, Sander Temme [EMAIL PROTECTED] wrote:
On May 4, 2007, at 7:39 AM, Stefan Bodewig wrote:
after a pretty frustrating afternoon[1] yesterday I hacked a new
optional makeCommand attribute into workspace in trunk[2]. All
make builder will use that in order to determine which
