Rev 8 | Go to most recent revision | Blame | Compare with Previous | Last modification | View Log | RSS feed
#! /bin/sh /usr/share/dpatch/dpatch-run## 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 -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-10-02 14:04:02.000000000 +0200@@ -1111,6 +1111,14 @@add_module_path("¤lib_prefix¤/modules");#endif+ // Debian paths+ add_include_path("/usr/local/include/pike");+ add_include_path("/usr/local/include/pike"+__REAL_MAJOR__+"."+__REAL_MINOR__);+ add_module_path("/usr/local/lib/pike/site_pike");+ add_module_path("/usr/local/lib/pike"+__REAL_MAJOR__+"."+__REAL_MINOR__+"/site_pike");+ add_module_path("/usr/local/share/pike/site_pike");+ add_module_path("/usr/local/share/pike"+__REAL_MAJOR__+"."+__REAL_MINOR__+"/site_pike");+#if "¤include_prefix¤"[0]!='¤'include_prefix = "¤include_prefix¤";#endif