Merge pull request #39 from inhabitedtype/test-instructions

README: Remove reference to Oasis build process
inhabitedtype · Mar 31, 2018 · 6fe7ad7 · 6fe7ad7
2 parents 4dca703 + f677332
commit 6fe7ad7
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -85,12 +85,11 @@ After this, you may install a development version of the library using the
 install command as usual.
 
 For building and running the tests during development, you will need to install
-the `alcotest` package and reconfigure the build process to enable tests:
+the `alcotest` package:
 
 ```bash
 opam install alcotest
-./configure --enable-tests
-make && make test
+make test
 ```
 
 ## License