pike.git / lib / master.pike.in

version» Context lines:

pike.git/lib/master.pike.in:1:   /* -*- Pike -*-    * -  * $Id: master.pike.in,v 1.139 2001/01/19 11:05:15 mirar Exp $ +  * $Id: master.pike.in,v 1.140 2001/01/19 13:51:37 mirar Exp $    *    * Master-file for Pike.    *    * Based on master.pike 1.67.    */      // Some configurable parameters useful for debugging      #pike __REAL_VERSION__   #define PIKE_AUTORELOAD
pike.git/lib/master.pike.in:1431:       v = resolv("Tools");    if (v) v = v["Install"];    if (v) v = v["features"];    if (!v)    {    werror("Could not resolv Tools.Install.features\n");    exit(1);    }    -  _static_modules.files()->_stdout->write(version()+"\n"+ -  v()*"\n"+"\n"); +  _static_modules.files()->_stdout->write(v()*"\n"+"\n");    exit(0);    }       random_seed(time() + (getpid() * 0x11111111));       if(sizeof(argv)==1)    {    /* Attempt to resolv Tools.Hilfe.StdinHilfe */    tmp = resolv("Tools");    if (!tmp) {