[Bug 71594] New: no way to set args to make command

[Jeroen Wijnhout]

On Thursday 01 January 2004 16:52, Jon Smirl wrote:
> In my case I need to run:
> make -f Makefile.linux
>
> I tried setting the executable to my command but it ignored the args.
>
> Normally I just make a link to get around this but I can't this time.

I think you can get around this, for the moment, by setting the make 
executable name to:
make -f Makefile.linux

The wish is still valid imho.

best,
Jeroen

-- 
Kile - an Integrated LaTeX Environment for KDE
http://kile.sourceforge.net