diff --git a/README.md b/README.md index 8a4176b7..69cd8eed 100644 --- a/README.md +++ b/README.md @@ -63,7 +63,7 @@ $ tar zxvf pluto-0.11.4.tar.gz $ cd pluto-0.11.4/ $ ./configure [--with-clang-prefix=] $ make -$ make check-pluto +$ make test ``` configure can be provided `--with-isl-prefix=` to build