From 1e657544b2a5916fa2c51cb67ebe889d205af395 Mon Sep 17 00:00:00 2001
From: Kévin Le Gouguec <kevin.legouguec@gmail.com>
Date: Tue, 28 May 2019 14:26:20 +0200
Subject: Tweak Emacs build script some more

Purely for cosmetic reasons.
---
 personal/setup/emacs.md | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

(limited to 'personal/setup/emacs.md')

diff --git a/personal/setup/emacs.md b/personal/setup/emacs.md
index d7abc49..53fb75f 100644
--- a/personal/setup/emacs.md
+++ b/personal/setup/emacs.md
@@ -21,14 +21,16 @@ fi
 
 check-config ()
 {
-    local define=$(grep EMACS_CONFIG_OPTIONS src/config.h)
-    local pattern='^#define EMACS_CONFIG_OPTIONS "(.+)"$'
+    if ! test -f src/config.h
+    then
+        return 1
+    fi
 
-    [[ ${define} =~ ${pattern} ]]
-    test "${BASH_REMATCH[1]}" = "${CONFIGURE_FLAGS}"
+    local pattern='#define EMACS_CONFIG_OPTIONS "'${CONFIGURE_FLAGS}'"'
+    grep "${pattern}" src/config.h
 }
 
-if ! test -f src/config.h || ! check-config
+if ! check-config
 then
     ./configure ${CONFIGURE_FLAGS}
 fi
-- 
cgit v1.2.3