alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

org: Prevent a race on the buildfarm.

Browse source 
* doc/org/init.el.in (org-publish-timestamp-directory): Use a build
directory, not $HOME.
This commit is contained in:
Alexandre Duret-Lutz 2014-04-28 10:59:55 +02:00
parent 6c76ba408e
commit 5187752c9a
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
doc/org/init.el.in
View file

@ -8,6 +8,9 @@
; the .org-timestamp directory does not always exist, is not always ; the .org-timestamp directory does not always exist, is not always
; created by org, and that causes issues on our buildfarm. ; created by org, and that causes issues on our buildfarm.
(setq org-publish-use-timestamps-flag nil) (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") (setq org-babel-python-command "/usr/bin/python3")
(org-babel-do-load-languages (org-babel-do-load-languages