[PATCH 15/16] gmime-cleanup: use GMIME_MINVER instead of GMIME3_MINVER

Daniel Kahn Gillmor dkg at fifthhorseman.net
Wed May 1 22:16:52 PDT 2019


This looks cleaner and simpler, but has no functional change.

Signed-off-by: Daniel Kahn Gillmor <dkg at fifthhorseman.net>
---
 configure | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/configure b/configure
index 0b65630e..9140026a 100755
--- a/configure
+++ b/configure
@@ -489,11 +489,11 @@ EOF
     rm -rf test.db _default_backend _default_backend.cc
 fi
 
-GMIME3_MINVER=3.0.3
+GMIME_MINVER=3.0.3
 
 printf "Checking for GMime development files... "
-if pkg-config --exists "gmime-3.0 > $GMIME3_MINVER"; then
-    printf "Yes (3.0).\n"
+if pkg-config --exists "gmime-3.0 > $GMIME_MINVER"; then
+    printf "Yes.\n"
     have_gmime=1
     gmime_cflags=$(pkg-config --cflags gmime-3.0)
     gmime_ldflags=$(pkg-config --libs gmime-3.0)
@@ -771,7 +771,7 @@ EOF
 	echo
     fi
     if [ $have_gmime -eq 0 ]; then
-	echo "	GMime 3.0 library >= $GMIME3_MINVER"
+	echo "	GMime library >= $GMIME_MINVER"
 	echo "	(including development files such as headers)"
 	echo "	https://github.com/jstedfast/gmime/"
 	echo
-- 
2.20.1



More information about the notmuch mailing list