From f43187b73a1deb3ff708b43c5c592c33b4b4a6b5 Mon Sep 17 00:00:00 2001
From: Avery Pennarun <apenwarr@gmail.com>
Date: Fri, 12 Nov 2010 22:50:23 -0800
Subject: [PATCH] 'make clean' can now safely remove .redo dirs.

---
 .gitignore | 6 ++++++
 clean.do   | 1 +
 redo.py    | 3 +++
 3 files changed, 10 insertions(+)

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