pike.git/
lib/
master.pike.in
Branch:
Tag:
Non-build tags
All tags
No tags
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 = ([]); }