[gecode-users] Problems with Makefile.contribs

[Guido Tack]

Javier Andrés Mena Zapata:
> I've been trying to compile the contribs using the default
> Makefile.contribs, but it fails if the default shell (/bin/sh/) is not
> Borne-again shell (bash).

Your fix looks good, thanks. I've committed it to the svn.

Cheers,
	Guido

-- 
Guido Tack
Programming Systems Lab, Saarland University, Germany
http://www.ps.uni-sb.de/~tack