diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2013-07-15 14:58:07 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2013-07-15 14:58:07 +0000 |
commit | d5ff083c5b5321afc523ceeb658fef25d337e7bf (patch) | |
tree | 35e00d41a671711deb95a0986f7454ebd7ed1885 /Build/source/libs/zziplib | |
parent | 752c7b0e0a3d65065694c1ecd571efc2cd9f1df6 (diff) |
build system: Avoid 'parallel make' problems
git-svn-id: svn://tug.org/texlive/trunk@31199 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/libs/zziplib')
-rw-r--r-- | Build/source/libs/zziplib/Makefile.in | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Build/source/libs/zziplib/Makefile.in b/Build/source/libs/zziplib/Makefile.in index 76bea30d009..19fbc516883 100644 --- a/Build/source/libs/zziplib/Makefile.in +++ b/Build/source/libs/zziplib/Makefile.in @@ -1371,12 +1371,13 @@ rebuild: $(rebuild_prereq) if test -f rebuild.stamp; then :; else \ $$dry trap 'rm -rf rebuild.lock' 1 2 13 15; \ if $$dry mkdir rebuild.lock 2>/dev/null; then \ - $(MAKE) $(AM_MAKEFLAGS) $(rebuild_target) rebuild.stamp; \ + $(MAKE) $(AM_MAKEFLAGS) $(rebuild_target) \ + && echo timestamp >rebuild.stamp; \ $$dry rmdir rebuild.lock; \ else \ while test -d rebuild.lock && test -z "$$dry"; do sleep 1; done; \ - $$dry test -f rebuild.stamp; exit $$?; \ fi; \ + $$dry test -f rebuild.stamp; exit $$?; \ fi # Tell versions [3.59,3.63) of GNU make to not export all variables. |