Ce serveur Gitlab sera éteint le 30 juin 2020, pensez à migrer vos projets vers les serveurs gitlab-research.centralesupelec.fr et gitlab-student.centralesupelec.fr !

Commit 85f273b7 authored by Ryan C. Thompson's avatar Ryan C. Thompson

Clean elc file if it is the *same* age as el file

Before, it would only be cleaned if it was older. Now being exactly
the same age also means it gets cleaned. This is because if they are
the same age, we don't know which came first, so we just have to
assume that the elc file is stale and recreate it.
parent d6398259
......@@ -99,7 +99,7 @@ With optional arg RECURSIVE, do so in all subdirectories as well."
for el = (concat (file-name-sans-extension elc) ".el")
if (and (file-exists-p elc)
(not (file-directory-p elc))
(file-newer-than-file-p el elc))
(not (file-newer-than-file-p elc el)))
do (progn
(message "el-get-byte-compile: Cleaning stale compiled file %s" elc)
(delete-file elc nil)))
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment