[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: How is mpi-default-dev supposed to work?



Hi again,

Le 23 mars 10 à 11:22, Lucas Nussbaum a écrit :
other solution:
- ensure (in mpi-defaults' postinst) that mpicc points to the correct
 binary.

Having thought about it, I also think this is wrong: the idea behind update-alternatives is that only the admin may set the alternative manually.

Regards, Thibaut.


Reply to: