pike.git/ lib/ master.pike.in

2002-09-05

2002-09-05 15:42:55 by Marcus Comstedt <marcus@mc.pp.se>

• b714e1c90968daf4b6e935876ec0035f87e52773 (5 lines) (+3/-2) ^{[ Show | Annotate ]}
  Branch: 7.9

Bugfix: no-warnings => nowarnings.

Rev: lib/master.pike.in:1.219

6:   // 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__   
1744:    want_warnings++;    break;    -  case "no-warnings": +  case "nowarnings":    want_warnings--;    break;