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
_______________________________________________
Gecode users mailing list
[EMAIL PROTECTED]
https://www.gecode.org/mailman/listinfo/gecode-users
