summaryrefslogtreecommitdiff
path: root/Build/source/am/reconfig.am
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/am/reconfig.am')
-rw-r--r--Build/source/am/reconfig.am25
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
+