diff options
Diffstat (limited to 'packages/prelink/prelink-20040304/prelink.default')
| -rw-r--r-- | packages/prelink/prelink-20040304/prelink.default | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/packages/prelink/prelink-20040304/prelink.default b/packages/prelink/prelink-20040304/prelink.default index e69de29bb2..d89649e49b 100644 --- a/packages/prelink/prelink-20040304/prelink.default +++ b/packages/prelink/prelink-20040304/prelink.default @@ -0,0 +1,25 @@ +--- prelink-0.0.20040115.orig/debian/prelink.default ++++ prelink-0.0.20040115/debian/prelink.default +@@ -0,0 +1,22 @@ ++# Set this to no to disable prelinking altogether ++# or to yes to enable it. ++# (if you change this from yes to no prelink -ua ++# will be run next night to undo prelinking) ++PRELINKING=unknown ++ ++# Options to pass to prelink ++# -m Try to conserve virtual memory by allowing overlapping ++# assigned virtual memory slots for libraries which ++# never appear together in one binary ++# -R Randomize virtual memory slot assignments for libraries. ++# This makes it slightly harder for various buffer overflow ++# attacks, since library addresses will be different on each ++# host using -R. ++PRELINK_OPTS=-mR ++ ++# How often should full prelink be run (in days) ++# Normally, prelink will be run in quick mode, every ++# $PRELINK_FULL_TIME_INTERVAL days it will be run ++# in normal mode. Comment this line out if prelink ++# should be run in normal mode always. ++PRELINK_FULL_TIME_INTERVAL=14 |