[Pkg-openmpi-maintainers] Bug#572021: Bug#572021: openmpi-checkpoint: orte-checkpoint is not installed by package, ompi-checkpoint is a link to it

[Manuel Prinz]

Am Dienstag, den 02.03.2010, 10:25 +0000 schrieb Alan Woodland:
> 2010/3/1 Fernando Tarlá Cardoso Lemos <fernandotcl at gmail.com>:
> > My suggested fix is to add /usr/bin/orte-checkpoint and /usr/bin/orte-restart
> > to the list of files that are installed by this package.
> >
> Any ideas where these got to? They were definitely included in the
> first version of openmpi-checkpoint that was uploaded...

They should be, and I'm pretty sure I checked since I modified the
installation scripts since there were changes to them in the 1.4 series.
I had a discussion with upstream about that. I'll look into it ASAP.

Best regards,
Manuel