From 821e67289342f295d4dcc6dbb52b895dfc282a88 Mon Sep 17 00:00:00 2001 From: Christian Neukirchen Date: Tue, 1 Sep 2015 16:21:42 +0200 Subject: Skip source files, duh --- redo.c | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) 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; } -- cgit 1.4.1