From 18c641c763c000b972817e84e450a60971a4f954 Mon Sep 17 00:00:00 2001 From: Kévin Le Gouguec Date: Fri, 17 May 2019 19:44:24 +0200 Subject: Update Emacs build script --- personal/setup/emacs.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'personal') 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 ``` -- cgit v1.2.3