0,0 → 1,17 |
#! /bin/sh /usr/share/dpatch/dpatch-run |
## no_dump_modules.dpatch |
## |
## DP: Make install.pike not dump modules; we do that in postinst |
|
@DPATCH@ |
diff -urNad trunk~/bin/install.pike trunk/bin/install.pike |
--- trunk~/bin/install.pike 2008-08-19 13:51:08.000000000 +0200 |
+++ trunk/bin/install.pike 2010-07-28 16:12:19.000000000 +0200 |
@@ -2942,7 +2942,6 @@ |
{ |
do_export(); |
}else{ |
- dump_modules(); |
|
// Delete any .pmod files that would shadow the .so |
// files that we just installed. For a new installation |