From 36a7fdf27623dc698d3f315c81b1b44d0f33b927 Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Wed, 20 Feb 2013 10:49:59 +0000 Subject: small improvement --- coq/coq-par-compile.el | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) (limited to 'coq/coq-par-compile.el') diff --git a/coq/coq-par-compile.el b/coq/coq-par-compile.el index 3a7647f5..5cedd104 100644 --- a/coq/coq-par-compile.el +++ b/coq/coq-par-compile.el @@ -1031,8 +1031,7 @@ there is space, coqdep is started immediately, otherwise the new job is put into the compilation queue. This function returns the newly created job." - (let* ((hash-key (list 'file module-obj-file)) - (orig-job (gethash hash-key coq-compilation-object-hash)) + (let* ((orig-job (gethash module-obj-file coq-compilation-object-hash)) (new-job (make-symbol "coq-compile-job-symbol"))) (put new-job 'name (format "job-%d" coq-par-next-id)) (setq coq-par-next-id (1+ coq-par-next-id)) @@ -1068,11 +1067,9 @@ This function returns the newly created job." (signal 'coq-compile-error-circular-dep (concat dependant " -> scripting buffer"))) (message "Check %s" (get new-job 'src-file)) - ;; XXX decide what to do if src-file is missing - (put new-job 'hash-key hash-key) (put new-job 'load-path coq-load-path) (put new-job 'youngest-coqc-dependency '(0 0)) - (puthash hash-key new-job coq-compilation-object-hash) + (puthash module-obj-file new-job coq-compilation-object-hash) (if coq-debug-auto-compilation (message "%s: create %s compilation for %s" (get new-job 'name) (get new-job 'type) module-obj-file)) -- cgit v1.2.3