Skip to content

Commit f2b16c5

Browse files
committed
Update test/check line in README
1 parent c20941f commit f2b16c5

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -107,7 +107,7 @@ tar zxvf pluto-<version>.tar.gz
107107
cd pluto-<version>/
108108
./configure [--with-clang-prefix=<clang install location>]
109109
make -j 32
110-
make test
110+
make check-pluto
111111
```
112112

113113
configure can be provided `--with-isl-prefix=<isl install location>` to build

0 commit comments

Comments
 (0)