On Thu, 21 Feb 2008 17:03:20 +0100, "Pierre Joye" pierre.php@gmail.com wrote:
Hi!
On Wed, Feb 20, 2008 at 4:42 PM, Pierre Joye pierre.php@gmail.com wrote:
Attached the wrong patch, linux did not use the new plugin function.
Also added $(MAKE) variable for mingw Makefiles, instead of statically defined "make". My install has mingw32- as prefix for all gnu cmd and only some exists without.
Any news on this front? Do you need anything more before a commit?
I'll have a look at it tomorrow and then I'll commit it, thanks so far. Please be patient...
By the way, add a ) in the make_diff function for the non windows version, I testes the patch earlier today and notices this typo :D
;-)
Regards, Enrico