From bbf9a35cacdb8d3a30207db422363fb855e69dca Mon Sep 17 00:00:00 2001 From: Marcus Comstedt <marcus@mc.pp.se> Date: Thu, 12 Sep 2002 18:37:34 +0200 Subject: [PATCH] Make sure to cache srcdir before using it. Rev: lib/modules/Tools.pmod/Standalone.pmod/module.pike:1.2 --- lib/modules/Tools.pmod/Standalone.pmod/module.pike | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/modules/Tools.pmod/Standalone.pmod/module.pike b/lib/modules/Tools.pmod/Standalone.pmod/module.pike index 9ee407166f..fde29e92df 100644 --- a/lib/modules/Tools.pmod/Standalone.pmod/module.pike +++ b/lib/modules/Tools.pmod/Standalone.pmod/module.pike @@ -1,6 +1,6 @@ // -*- Pike -*- -// $Id: module.pike,v 1.1 2002/09/09 13:47:09 marcus Exp $ +// $Id: module.pike,v 1.2 2002/09/12 16:37:34 marcus Exp $ // Source directory string srcdir; @@ -246,7 +246,7 @@ int main(int argc, array(string) argv) if(run->depend) { - if(run->depend == ALWAYS || !max_time_of_files("$src/dependencies")) + if(!max_time_of_files("$src/dependencies") || run->depend == ALWAYS) { // Create an empty file first.. Stdio.write_file(srcdir+"/dependencies",""); -- GitLab