From fbe9d252ef31f49a75225b8c71be56a38bc51a3d Mon Sep 17 00:00:00 2001 From: Gaëtan Gilbert Date: Tue, 13 Feb 2018 15:26:40 +0100 Subject: coqdev.el: shell-quote-argument the directory for make -C --- dev/tools/coqdev.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'dev/tools') diff --git a/dev/tools/coqdev.el b/dev/tools/coqdev.el index 20613a4cf..01334690c 100644 --- a/dev/tools/coqdev.el +++ b/dev/tools/coqdev.el @@ -39,7 +39,7 @@ (defun coqdev-setup-compile-command () "Setup `compilate-command' for Coq development." (let ((dir (coqdev-default-directory))) - (when dir (setq-local compile-command (concat "make -C " dir))))) + (when dir (setq-local compile-command (concat "make -C " (shell-quote-argument dir)))))) (add-hook 'hack-local-variables-hook #'coqdev-setup-compile-command) (defvar camldebug-command-name) ; from camldebug.el (caml package) -- cgit v1.2.3