diff --git a/.gitignore b/.gitignore index 158244d..f1f39b7 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,9 @@ *~ *.pyc *.tmp +.redo +t/CC +t/LD +t/[yb]ellow +t/hello +t/*.o diff --git a/clean.do b/clean.do index b1ae425..69f280e 100644 --- a/clean.do +++ b/clean.do @@ -1 +1,2 @@ rm -f t/hello t/[by]ellow t/*.o *~ .*~ t/*~ t/.*~ *.pyc t/CC t/LD +rm -rf .redo diff --git a/redo.py b/redo.py index c513d19..22a2dbe 100755 --- a/redo.py +++ b/redo.py @@ -103,6 +103,9 @@ def dirty_deps(t, depth): def stamp(t): stampfile = sname('stamp', t) + if not os.path.exists(REDO_BASE + '/.redo'): + # .redo might not exist in a 'make clean' target + return open(stampfile, 'w').close() try: mtime = os.stat(t).st_mtime