version 1.41, 2013/04/23 14:32:53 |
version 1.42, 2013/05/14 18:47:40 |
|
|
void |
void |
Make_TimeStamp(GNode *parent, GNode *child) |
Make_TimeStamp(GNode *parent, GNode *child) |
{ |
{ |
if (is_strictly_before(parent->cmtime, child->mtime)) |
if (is_strictly_before(parent->cmtime, child->mtime)) { |
parent->cmtime = child->mtime; |
parent->cmtime = child->mtime; |
|
parent->youngest = child; |
|
} |
} |
} |
|
|
void |
void |
|
|
*/ |
*/ |
if (DEBUG(MAKE)) { |
if (DEBUG(MAKE)) { |
if (is_strictly_before(gn->mtime, gn->cmtime)) |
if (is_strictly_before(gn->mtime, gn->cmtime)) |
printf("modified before source..."); |
printf("modified before source(%s)...", |
|
gn->youngest->name); |
else if (is_out_of_date(gn->mtime)) |
else if (is_out_of_date(gn->mtime)) |
printf("non-existent and no sources..."); |
printf("non-existent and no sources..."); |
else |
else |