Thank you for checking. I have checked three systems with the following results
Mint 17.1 (Ubuntu 14.04) 64 bit, bad Ubuntu 14.10 64 bit, bad Fedora 21 64 bit, bad which also supports the 32 vs 64 bit hypothesis. Is there any possibility of a workaround for this? On Thu, Feb 12, 2015 at 9:41 PM, Noeck <noeck.marb...@gmx.de> wrote: > I checked on different systems: > 2.16.2 2.18.2 > Ubuntu 14.04 64bit: good bad > Ubuntu 14.10 32bit: good good > > From your responses, I see: > Kevin: 64bit bad > Werner: 32bit good > Abraham: ?bit good (Ubuntu 14.10) > This fits in the 32 vs. 64 bit scheme (among many other possible > differences > between the quoted systems – the packages in Ubuntu 14.10 could also be > better > than 14.04). > > Cheers, > Joram > > _______________________________________________ > lilypond-user mailing list > lilypond-user@gnu.org > https://lists.gnu.org/mailman/listinfo/lilypond-user >
_______________________________________________ lilypond-user mailing list lilypond-user@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-user