pike.git/ lib/ master.pike.in

2007-06-13

2007-06-13 15:14:27 by Martin Bähr <mbaehr@email.archlab.tuwien.ac.at>

• 64ec5b3486cd564939addc65eaf6f1aff7185992 (6 lines) (+4/-2) ^{[ Show | Annotate ]}
  Branch: 7.9

don't wipe source_cache if it is already enabled.

Rev: lib/master.pike.in:1.397

6:   // Pike is distributed under GPL, LGPL and MPL. See the file COPYING   // for more information.   // - // $Id: master.pike.in,v 1.396 2007/06/13 14:25:30 mbaehr Exp $ + // $Id: master.pike.in,v 1.397 2007/06/13 15:14:27 mbaehr Exp $      #pike __REAL_VERSION__   //#pragma strict_types
789:   //! Enable caching of sources from compile_string()   void enable_source_cache()   { +  if (!source_cache)    source_cache = ([]);   }