summary refs log tree commit diff
diff options
context:
space:
mode:
authorChristian Neukirchen <chneukirchen@gmail.com>2015-09-01 16:21:42 +0200
committerChristian Neukirchen <chneukirchen@gmail.com>2015-09-01 16:21:42 +0200
commit821e67289342f295d4dcc6dbb52b895dfc282a88 (patch)
tree4a373ab81cba7e467c51db9584d95299d60d8ce2
parent0c203b8300880d398e5df79d86b38bfba1b99329 (diff)
downloadredo-c-821e67289342f295d4dcc6dbb52b895dfc282a88.tar.gz
redo-c-821e67289342f295d4dcc6dbb52b895dfc282a88.tar.xz
redo-c-821e67289342f295d4dcc6dbb52b895dfc282a88.zip
Skip source files, duh
-rw-r--r--redo.c9
1 files changed, 8 insertions, 1 deletions
diff --git a/redo.c b/redo.c
index 18c89dd..2b6a406 100644
--- a/redo.c
+++ b/redo.c
@@ -604,6 +604,13 @@ create_pool()
 	}
 }
 
+static int
+sourcefile(char *target)
+{
+	char *depfile = targetdep(target);
+	return access(target, F_OK) == 0 && access(depfile, F_OK) != 0;
+}
+
 static void
 redo_ifchange(int targetc, char *targetv[])
 {
@@ -628,7 +635,7 @@ redo_ifchange(int targetc, char *targetv[])
 		if (targeti < targetc) {
 			char *target = targetv[targeti];
 
-			if (skip[targeti]) {
+			if (skip[targeti] || sourcefile(target)) {
 				targeti++;
 				continue;
 			}