From f677332ee22cfd22b90bdcb8ee142830182910d3 Mon Sep 17 00:00:00 2001
From: Spiros Eliopoulos <seliopou@gmail.com>
Date: Sat, 31 Mar 2018 10:34:49 -0400
Subject: [PATCH] README: Remove reference to Oasis build process

---
 README.md | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index 02d598f..e012789 100644
--- 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