pike.git / lib / master.pike.in

version» Context lines:

pike.git/lib/master.pike.in:1:   // -*- Pike -*-   //   // Master Control Program for Pike.   //   // This file is part of Pike. For copyright information see COPYRIGHT.   // Pike is distributed under GPL, LGPL and MPL. See the file COPYING   // for more information.   // - // $Id: master.pike.in,v 1.263 2003/03/27 02:32:04 mast Exp $ + // $Id: master.pike.in,v 1.264 2003/03/27 03:32:15 nilsson Exp $      #pike __REAL_VERSION__      // Some programs destroys character pairs beginning with the currency   // symbol when running in chinese locale.   #if "¤/" != "\244/"   #error "master.pike.in is corrupted."   #endif      // --- Some configurable parameters
pike.git/lib/master.pike.in:1919:    run_tool = 1;    break;    }    }       foreach(q, array opts)    {    switch(opts[0])    {    case "version": -  werror(version() + " Copyright © 1994-2002 Linköping University\n" +  werror(version() + " Copyright © 1994-2003 Linköping University\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 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"