[tlbuild] Raspberry fp version (soft/hard float)

Karl Berry karl at freefriends.org
Thu Oct 25 22:59:51 CEST 2012

    if tlmgr sees arm, it should ask 'do you want raspbian binaries?

Absolutely not going to do that :).

Anyway, what matters is not the uname output, but config.guess output.
Can you please run config.guess on the various machines and see if it
distinguishes?  That is the appropriate place for the identification job
to be done.


More information about the tlbuild mailing list