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.254 2003/02/25 14:10:06 grubba Exp $ + // $Id: master.pike.in,v 1.255 2003/02/26 16:04:57 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:1885:       case "preprocess":    write(cpp(master_read_file(opts[1]),opts[1]));    exit(0);    }    }       argv = tmp->get_args(argv,1);    }    - #ifdef __AUTO_BIGNUM__ -  main_resolv( "Gmp", "bignum" ); - #endif /* __AUTO_BIGNUM__ */ -  +     switch (postparseaction)    {    case "features":    write( main_resolv( "Tools", "Install", "features" )()*"\n"+"\n" );    exit(0);       case "info":    write("Software......Pike\n"    "Version......."+version()+"\n"    "WWW...........http://pike.ida.liu.se/\n"    "\n"    "pike binary..."+_pike_file_name+"\n"+    format_paths() + "\n"    "Features......"+    main_resolv( "Tools","Install","features" )()*"\n "+    "\n");    exit(0);    }    -  + #ifdef __AUTO_BIGNUM__ +  main_resolv( "Gmp", "bignum" ); + #endif /* __AUTO_BIGNUM__ */ +     random_seed(time() ^ (getpid()<<8));       if(sizeof(argv)==1)    {    if(run_tool) {    werror("Pike -x specificed without tool name.\n"    "Available tools:\n");    mapping t = ([]);    int i;    object ts = main_resolv( "Tools", "Standalone" );