pike.git/ lib/ master.pike.in

2002-09-09

2002-09-09 13:46:29 by Marcus Comstedt <marcus@mc.pp.se>

• 28c538459b57fab5b85ca211b34f43cba51faed0 (9 lines) (+8/-1) ^{[ Show | Annotate ]}
  Branch: 7.9

Added include_prefix.

Rev: lib/master.pike.in:1.220

6:   // Pike is distributed under GPL, LGPL and MPL. See the file COPYING   // for more information.   // - // $Id: master.pike.in,v 1.219 2002/09/05 15:42:55 marcus Exp $ + // $Id: master.pike.in,v 1.220 2002/09/09 13:46:29 marcus Exp $      #pike __REAL_VERSION__   
794:   #endif   });    + string include_prefix; +    /* Note that create is called before add_precompiled_program    */   void create()
830:    add_include_path("¤lib_prefix¤/include");    add_module_path("¤lib_prefix¤/modules");   #endif +  + #if "¤include_prefix¤"[0]!='¤' +  include_prefix = "¤include_prefix¤"; + #endif   }