Am 28.09.2017 um 16:14 schrieb Ludovic Courtès: > You can easily override it by adding “bash” to after --ad-hoc I believe.
ACK, but the I ended up with "arbitrary choosing" which is not quite confidence-building. :-( -- Regards Hartmut Goebel | Hartmut Goebel | h.goe...@crazy-compilers.com | | www.crazy-compilers.com | compilers which you thought are impossible |