From 7df9b738e0e00f28419a7307900d4c2c93b7f23b Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Thu, 24 Jul 2008 17:52:19 +0000
Subject: Fixed the bug with coq-guess-command-line.

---
 coq/coq.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/coq/coq.el b/coq/coq.el
index 8a88b015..1c7390e6 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -813,8 +813,10 @@ This is specific to `coq-mode'."
                                        (string-match ".v$" filename)) ".vo"))
                (command (shell-command-to-string
                          (concat  "cd " dir ";"
-                                  "gmake -n -W " filename " " compiled-file
+                                  "make -n -W " filename " " compiled-file
                                   "| sed s/coqc/coqtop/"))))
+            (message command)
+            (setq coq-prog-args nil)
             (concat
              (substring command 0 (string-match " [^ ]*$" command))
              (if coq-version-is-V8-1 "-emacs-U" "-emacs")))
-- 
cgit v1.2.3