pike.git / lib / master.pike.in

version» Context lines:

pike.git/lib/master.pike.in:1:   //   // Master Control Program for Pike.   //   // This file is part of Pike. For copyright information see COPYRIGHT.   // Pike is distributed as GPL (General Public License)   // See the files COPYING and DISCLAIMER for more information.   // - // $Id: master.pike.in,v 1.195 2002/04/27 22:18:40 nilsson Exp $ + // $Id: master.pike.in,v 1.196 2002/04/30 15:59:20 nilsson Exp $      #pike __REAL_VERSION__      // --- Some configurable parameters      #define PIKE_AUTORELOAD   #define GETCWD_CACHE   #define FILE_STAT_CACHE      // This define is search and replaced by bin/install.pike.
pike.git/lib/master.pike.in:1694:    _master_file_name = q[i][1];    break;    }    }       foreach(q, array opts)    {    switch(opts[0])    {    case "version": -  werror(version() + " Copyright © 1994-2001 Roxen Internet Software\n" +  werror(version() + " Copyright © 1994-2002 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"); +  "COPYING and COPYRIGHT 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"    " -P --program-path=<p>: Add <p> to the program path\n"    " -e --execute=<cmd> : Run the given command instead of a script.\n"    " -h --help : see this message\n"