diff options
Diffstat (limited to 'personal')
| -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 ``` |