diff options
| author | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2019-05-28 14:26:20 +0200 |
|---|---|---|
| committer | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2019-05-28 14:26:53 +0200 |
| commit | 1e657544b2a5916fa2c51cb67ebe889d205af395 (patch) | |
| tree | 07bc073860e1b0b9e25f014f1aaad7123f210c6b /personal/setup | |
| parent | f5f48375869bb7b752d52f04be979ae5649d69a5 (diff) | |
| download | memory-leaks-1e657544b2a5916fa2c51cb67ebe889d205af395.tar.xz | |
Tweak Emacs build script some more
Purely for cosmetic reasons.
Diffstat (limited to 'personal/setup')
| -rw-r--r-- | personal/setup/emacs.md | 12 |
1 files changed, 7 insertions, 5 deletions
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 |