From 6938d81c37467073d0bd731c0ef9e3feed92fb2f Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Wed, 21 Feb 2018 11:52:31 +0100
Subject: coqdev.el: add space at the end of compile-command

That way you can just type [-j] instead of having to remember to add a
space yourself.
---
 dev/tools/coqdev.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'dev/tools')

diff --git a/dev/tools/coqdev.el b/dev/tools/coqdev.el
index 8c55be2831..62fdaec802 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)
-- 
cgit v1.2.3