1 files changed, 1 insertions, 1 deletions
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