pike.git / lib / master.pike.in

version» Context lines:

pike.git/lib/master.pike.in:1: - /* $Id: master.pike.in,v 1.72 1999/11/26 21:42:47 grubba Exp $ + /* $Id: master.pike.in,v 1.73 1999/11/26 21:51:46 grubba Exp $    *    * Master-file for Pike.    *    * Based on master.pike 1.67.    */      // Some configurable parameters useful for debugging      #define PIKE_AUTORELOAD   
pike.git/lib/master.pike.in:250:   #ifdef PIKE_AUTORELOAD    if(!autoreload_on || load_time[fname]>=time())   #endif    {    if(ret=programs[fname]) return ret;    }       if( (s=master_file_stat(fname)) && s[1]>=0 )    {    AUTORELOAD_BEGIN(); +  +  if (load_time[fname] > s[3]) +  if (ret=programs[fname]) return ret; +     switch(ext)    {    case "":    case ".pike":    foreach(query_precompiled_names(fname), string oname) {    if(array s2=master_file_stat(oname))    {    if(s2[1]>=0 && s2[3]>=s[3])    {    mixed err=catch {