1,18 → 1,17 |
#! /bin/sh /usr/share/dpatch/dpatch-run |
## 01_master.in.dpatch by <magnus@proffe.kibibyte.se> |
## 01_master.in.dpatch by <magnus@kibibyte.se> |
## |
## All lines beginning with `## DP:' are a description of the patch. |
## DP: Add local site-pike directories to master.pike.in |
|
@DPATCH@ |
|
diff -U3 -Narp pike7.6-7.6.24/lib/master.pike.in pike7.6-7.6.24.new/lib/master.pike.in |
--- pike7.6-7.6.24/lib/master.pike.in 2004-07-23 14:17:24 +0200 |
+++ pike7.6-7.6.24.new/lib/master.pike.in 2005-01-06 23:27:54 +0100 |
@@ -565,6 +565,14 @@ string normalize_path( string path ) |
#else |
return replace(path,"\\","/"); |
diff -urNad trunk~/lib/master.pike.in trunk/lib/master.pike.in |
--- trunk~/lib/master.pike.in 2007-01-01 01:28:04.000000000 +0100 |
+++ trunk/lib/master.pike.in 2007-09-26 09:26:21.000000000 +0200 |
@@ -1115,6 +1115,14 @@ |
include_prefix = "¤include_prefix¤"; |
#endif |
system_module_path=pike_module_path; |
+ |
+ // Debian paths |
+ add_include_path("/usr/local/include/pike"); |
23,4 → 22,4 |
+ add_module_path("/usr/local/share/pike"+__REAL_MAJOR__+"."+__REAL_MINOR__+"/site_pike"); |
} |
|
//! Mapping containing the cache of currently compiled files. |
|