pike.git / lib / master.pike.in

version» Context lines:

pike.git/lib/master.pike.in:1:   /* -*- Pike -*-    * -  * $Id: master.pike.in,v 1.143 2001/01/30 20:52:39 hubbe Exp $ +  * $Id: master.pike.in,v 1.144 2001/01/30 20:55:14 hubbe 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:1367:    _master_file_name = q[i][1];    break;    }    }       foreach(q, array opts)    {    switch(opts[0])    {    case "version": -  werror(version() + " Copyright © 1994-2001 Roxen Internet Systems\n" +  werror(version() + " Copyright © 1994-2001 Roxen Internet Software\n"    "Pike comes with ABSOLUTELY NO WARRANTY; This is free software and you are\n"    "welcome to redistribute it under certain conditions; Read the files\n"    "COPYING and DISCLAIMER in the Pike distribution for more details.\n");    exit(0);       case "help":    werror("Usage: pike [-driver options] script [script arguments]\n"    "Driver options include:\n"    " -I --include-path=<p>: Add <p> to the include path\n"    " -M --module-path=<p> : Add <p> to the module path\n"