Raphael,

if I understand correctly, you don't try to update/upgrade/... native and 
cross packages on *same* execution of apt-get. If so, isn't it better not 
to divert apt tools, but just use another command name?
People are often nervous about diversions, so at least we should have good 
reasons to divert.

Nikita

Attachment: pgpRMvFgng1db.pgp
Description: PGP signature

Reply via email to