diff options
author | Hendrik Tews <hendrik@askra.de> | 2013-02-20 10:49:59 +0000 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2013-02-20 10:49:59 +0000 |
commit | 36a7fdf27623dc698d3f315c81b1b44d0f33b927 (patch) | |
tree | 601519618b089b1da4dd6b3e52a57c40c3edf53b /coq/coq-par-compile.el | |
parent | 54dfe8733de1e9bf1b1bda7afc16a32af8a9095e (diff) |
small improvement
Diffstat (limited to 'coq/coq-par-compile.el')
-rw-r--r-- | coq/coq-par-compile.el | 7 |
1 files changed, 2 insertions, 5 deletions
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)) |