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.218 2002/09/05 15:42:19 marcus Exp $ + // $Id: master.pike.in,v 1.219 2002/09/05 15:42:55 marcus 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:1737:    break;       case "ppath":    add_program_path(q[i][1]);    break;       case "warnings":    want_warnings++;    break;    -  case "no-warnings": +  case "nowarnings":    want_warnings--;    break;       case "master":    _master_file_name = q[i][1];    break;       case "run_tool":    run_tool = 1;    break;