From caa5bf5c2a32e31f07209490a8933cfa186e9511 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Fri, 10 Apr 2020 07:50:42 +0200
Subject: Adjust help for --disable-synth.

---
 configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'configure')

diff --git a/configure b/configure
index c426abb7d..7e35d451b 100755
--- a/configure
+++ b/configure
@@ -137,7 +137,7 @@ Options [defaults in brackets]:
   --disable-libghdl           do not build libghdl shared library
   --enable-openieee           use gpl-compatible sources for ieee library
   --enable-libghdl            also build the libghdl shared library
-  --enable-synth              build with synthesis feature
+  --disable-synth             do not build with synthesis feature
 EOF
   exit 0
 fi
-- 
cgit v1.2.3