From 5187752c9ae04a100c6dccf04a19459c4c855988 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 28 Apr 2014 10:59:55 +0200 Subject: [PATCH] org: Prevent a race on the buildfarm. * doc/org/init.el.in (org-publish-timestamp-directory): Use a build directory, not $HOME. --- doc/org/init.el.in | 3 +++ 1 file changed, 3 insertions(+) diff --git a/doc/org/init.el.in b/doc/org/init.el.in index 572bd100a..a0bb373e4 100644 --- a/doc/org/init.el.in +++ b/doc/org/init.el.in @@ -8,6 +8,9 @@ ; the .org-timestamp directory does not always exist, is not always ; created by org, and that causes issues on our buildfarm. (setq org-publish-use-timestamps-flag nil) +;; The default value of writing to ~/.org-timestamps causes race +;; conditions when doing concurrent builds. +(setq org-publish-timestamp-directory "@abs_top_builddir@/.org-timestamps/") (setq org-babel-python-command "/usr/bin/python3") (org-babel-do-load-languages