From 4669903887431f4550f47e872937a56cd848d251 Mon Sep 17 00:00:00 2001 From: Avery Pennarun Date: Sun, 5 Dec 2010 03:58:20 -0800 Subject: [PATCH] The mtime of a directory is kind of useless, so don't use it. --- redo-ifchange.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/redo-ifchange.py b/redo-ifchange.py index 256a2bb..7182b6d 100755 --- a/redo-ifchange.py +++ b/redo-ifchange.py @@ -1,5 +1,5 @@ #!/usr/bin/python -import sys, os, errno +import sys, os, errno, stat import vars, state, builder, jwack from helpers import debug, debug2, err, mkdirp, unlink @@ -25,7 +25,7 @@ def dirty_deps(t, depth): debug('%s-- DIRTY (no stamp)\n' % depth) return True - if stamptime != realtime: + if stamptime != realtime and not (st and stat.S_ISDIR(st.st_mode)): debug('%s-- DIRTY (mtime)\n' % depth) return True