minor change in README.md ~ make checking pluto

[czartur]

There is no rule for 'make check-pluto' but for 'make test'.

[bondhugula]

There is a rule now for check-pluto. A check prefix is being used to align with standard convention.

pluto/Makefile.am

Line 68 in acd66e8

check-pluto: PHONY

[czartur]

But it is not present in the stable version 0.11.4.

[bondhugula]

But it is not present in the stable version 0.11.4.

But this is the git version far ahead of 0.11.4. What we add here has to be consistent with the current state of the repo.

[czartur]

But this is the git version far ahead of 0.11.4. What we add here has to be consistent with the current state of the repo.

I understand, but there are two sections in the readme: one for the stable release and one for the git version.

However, 'make check-pluto' is written in both even if it only works with the dev version.

[bondhugula]

But this is the git version far ahead of 0.11.4. What we add here has to be consistent with the current state of the repo.

I understand, but there are two sections in the readme: one for the stable release and one for the git version.

However, 'make check-pluto' is written in both even if it only works with the dev version.

Sorry about that, you are right.

[bondhugula]

LGTM, thanks.