pike.git/ lib/ master.pike.in

2002-08-09

2002-08-09 14:23:07 by Martin Nilsson <mani@lysator.liu.se>

• 6f501b2b1b9c880bd7e3736083d1a153803a5b33 (7 lines) (+4/-3) ^{[ Show | Annotate ]}
  Branch: 7.9

Fixed a bug in the error reporting.

Rev: lib/master.pike.in:1.213

6:   // Pike is distributed under GPL, LGPL and MPL. See the file COPYING   // for more information.   // - // $Id: master.pike.in,v 1.212 2002/07/29 14:34:04 nilsson Exp $ + // $Id: master.pike.in,v 1.213 2002/08/09 14:23:07 nilsson Exp $      #pike __REAL_VERSION__   
1600:    }    }    -  void _error(string a, mixed ... args) { +  void _error(string a, void|mixed ... b) {    werror(a, @b);    exit(1);    };
1875:   #endif       if(!script->main) -  _error("Error: "+argv[0]+" has no main().\n"); +  _error("Error: %s has no main().\n", argv[0]);       if(trace) predef::trace(trace);    i=script->main(sizeof(argv),argv,env);