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 |