diff options
| author | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2019-05-17 19:44:24 +0200 |
|---|---|---|
| committer | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2019-05-17 19:44:30 +0200 |
| commit | 18c641c763c000b972817e84e450a60971a4f954 (patch) | |
| tree | 94a6168a2d14918474b6f4ad6d53baa3891c281e /personal/setup | |
| parent | 05ed802db647826bd8cec9a0cda4c134806e75e2 (diff) | |
| download | memory-leaks-18c641c763c000b972817e84e450a60971a4f954.tar.xz | |
Update Emacs build script
Diffstat (limited to 'personal/setup')
| -rw-r--r-- | personal/setup/emacs.md | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/personal/setup/emacs.md b/personal/setup/emacs.md index 04b5eb7..4ac1143 100644 --- a/personal/setup/emacs.md +++ b/personal/setup/emacs.md @@ -9,15 +9,16 @@ repository, and a repository where compilation has already happened: set -eux MAKE="make -j$(nproc --all)" +CONFIGURE_FLAGS="--with-xwidgets" if ! test -f Makefile then ${MAKE} configure - ./configure --with-xwidgets + ./configure ${CONFIGURE_FLAGS} fi -if ! ${MAKE} CONFIGURE_FLAGS=--with-xwidgets +if ! ${MAKE} CONFIGURE_FLAGS="${CONFIGURE_FLAGS}" then - ${MAKE} CONFIGURE_FLAGS=--with-xwidgets bootstrap + ${MAKE} CONFIGURE_FLAGS="${CONFIGURE_FLAGS}" bootstrap fi ``` |