diff options
| -rw-r--r-- | README.md | 2 | ||||
| -rw-r--r-- | personal/setup/emacs.md | 7 |
2 files changed, 5 insertions, 4 deletions
@@ -1,5 +1,5 @@ # Peniblec's Memory Leaks -## still reachable: 8113 words in 18 pages +## still reachable: 8114 words in 18 pages Hi! I am a software engineer interested in [a bunch of things]. 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 ``` |