1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index bf1a9c880..5b7b9696d 100755
--- a/configure
+++ b/configure
@@ -186,7 +186,7 @@ fi
 # Check the version of libghdl is correct.
 if [ "$enable_libghdl" = true ]; then
     libghdl_version="$srcdir/python/libghdl/version.py"
-    if ! echo "__version__ = '${ghdl_version}'" | cmp "$libghdl_version" ; then
+    if ! echo "__version__ = '${ghdl_version}'" | cmp -n "${#ghdl_version}" "$libghdl_version" ; then
 	echo "Sorry, the version of $libghdl_version is not correct"
 	echo "update the version to: $ghdl_version"
 	echo "or use --disable-libghdl"