diff options
-rw-r--r-- | dev/tools/coqdev.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dev/tools/coqdev.el b/dev/tools/coqdev.el index 8c55be283..62fdaec80 100644 --- a/dev/tools/coqdev.el +++ b/dev/tools/coqdev.el @@ -39,7 +39,8 @@ (defun coqdev-setup-compile-command () "Setup `compile-command' for Coq development." (let ((dir (coqdev-default-directory))) - (when dir (setq-local compile-command (concat "make -C " (shell-quote-argument dir)))))) + ;; we add a space at the end to make it easy to add arguments (eg -j or target) + (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) |