diff options
author | Karl Berry <karl@freefriends.org> | 2021-02-25 19:22:25 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2021-02-25 19:22:25 +0000 |
commit | ad547a6b5986815fda458221149728d9d9ab1d87 (patch) | |
tree | 16296910eb3eca724371474ea9aea3994dc69614 /Build/source/am/reconfig.am | |
parent | 947b43de3dd21d58ccc2ffadefc4441ea1c2a813 (diff) |
restore Build,TODO from r57911
git-svn-id: svn://tug.org/texlive/trunk@57915 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/am/reconfig.am')
-rw-r--r-- | Build/source/am/reconfig.am | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/Build/source/am/reconfig.am b/Build/source/am/reconfig.am new file mode 100644 index 00000000000..55e77fcbf27 --- /dev/null +++ b/Build/source/am/reconfig.am @@ -0,0 +1,25 @@ +## am/reconfig.am: Makefile fragment to reconfigure a directory. +## +## Copyright (C) 2013 Peter Breitenlohner <tex-live@tug.org> +## You may freely use, modify and/or distribute this file. +## +## requires $(reconfig_prereq) and DISTCLEANFILES. +## +## Serialize concurrent reconfig attempts +## Compare Automake manual (info Automake) 27.9: Multiple Outputs +## +config.force: $(reconfig_prereq) + @if test -f $@; then :; else \ + trap 'rm -rf reconfig.lock' 1 2 13 15; \ + if mkdir reconfig.lock 2>/dev/null; then \ + echo timestamp >$@; \ + $(SHELL) ./config.status --recheck; \ + rmdir reconfig.lock; \ + else \ + while test -d rebuild.lock && test -z "$$dry"; do sleep 1; done; \ + test -f $@; \ + fi; \ + fi + +DISTCLEANFILES += config.force + |