Rev 99 | Only display areas with differences | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 99 | Rev 125 | ||
|---|---|---|---|
| 1 | #! /bin/sh /usr/share/dpatch/dpatch-run |
1 | #! /bin/sh /usr/share/dpatch/dpatch-run |
| 2 | ## no_dump_modules.dpatch |
2 | ## no_dump_modules.dpatch |
| 3 | ## |
3 | ## |
| 4 | ## DP: Make install.pike not dump modules; we do that in postinst |
4 | ## DP: Make install.pike not dump modules; we do that in postinst |
| 5 | 5 | ||
| 6 | @DPATCH@ |
6 | @DPATCH@ |
| 7 | diff -urNad trunk~/bin/install.pike trunk/bin/install.pike |
7 | diff -urNad trunk~/bin/install.pike trunk/bin/install.pike |
| 8 | --- trunk~/bin/install.pike 2008-08-19 13:51:08.000000000 +0200 |
8 | --- trunk~/bin/install.pike 2008-08-19 13:51:08.000000000 +0200 |
| 9 | +++ trunk/bin/install.pike 2010-07-28 16:12:19.000000000 +0200 |
9 | +++ trunk/bin/install.pike 2010-07-28 16:12:19.000000000 +0200 |
| 10 | @@ -2942,7 +2942,6 @@ |
10 | @@ -2942,7 +2942,6 @@ |
| 11 | {
|
11 | {
|
| 12 | do_export(); |
12 | do_export(); |
| 13 | }else{
|
13 | }else{
|
| 14 | - dump_modules(); |
14 | - dump_modules(); |
| 15 | 15 | ||
| 16 | // Delete any .pmod files that would shadow the .so |
16 | // Delete any .pmod files that would shadow the .so |
| 17 | // files that we just installed. For a new installation |
17 | // files that we just installed. For a new installation |