Perhaps related to :
http://savannah.gnu.org/bugs/?19232 (upstream bug)
http://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=219409 (as reported to
RedHat)
I'll let the Ubuntu maintainer decide if it is or not the same problem.
--
make invokes bad shell (/bin/sh instead of ${SHELL} )
https://bugs.launchpad.net/bugs/120535
You received this bug notification because you are a member of Ubuntu
Bugs, which is the bug contact for Ubuntu.
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
