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

Reply via email to