diff options
Diffstat (limited to 'Build/source/am/rebuild.am')
-rw-r--r-- | Build/source/am/rebuild.am | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Build/source/am/rebuild.am b/Build/source/am/rebuild.am index 2713eb287fc..db8f5b11fca 100644 --- a/Build/source/am/rebuild.am +++ b/Build/source/am/rebuild.am @@ -22,12 +22,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 CLEANFILES += rebuild.stamp |