diff --git a/configure b/configure
index f123fa47c597ec6b7894cdff23807982557af22f..c2446dbf34de8ec525e56aed40032b26ef9f60d3 100755
--- a/configure
+++ b/configure
@@ -1651,7 +1651,7 @@ if test ! "x$enable_krb5" = "xno" ; then
         enable_krb5="no"
     fi
 
-    if test ! "x$enable_krb5" = "x" ; then
+    if test ! "x$enable_krb5" = "xno" ; then
         krb5extracflags="-DR__KRB5"
     fi
 fi