From 13f2ea125bf1a8eab649fec7a657b3ec98b61e63 Mon Sep 17 00:00:00 2001
From: "Matthias P. Braendli" <matthias.braendli@mpb.li>
Date: Mon, 22 Jan 2018 01:27:09 +0100
Subject: Make EDI input optional

---
 INSTALL | 1 +
 1 file changed, 1 insertion(+)

(limited to 'INSTALL')

diff --git a/INSTALL b/INSTALL
index a11fd63..464eb57 100644
--- a/INSTALL
+++ b/INSTALL
@@ -32,6 +32,7 @@ The configure script can be launch with a variety of options:
                         This is meant for distribution package maintainers who want to
                         use their own march option, and for people running into compilation
                         issues due to -march=native. (e.g. GCC bug 70132 on ARM systems)
+ --enable-edi           Enable the EDI input.
 
 Debugging options: You should not enable debug if you need good performance.
 By default, debug is disabled.
-- 
cgit v1.2.3