From dd5e589aa3fe0b711de231a73748522210520f80 Mon Sep 17 00:00:00 2001 From: Koen Kooi Date: Wed, 26 Jul 2006 09:22:10 +0000 Subject: prelink: update to new version, since the old one vanished from the debian mirrors --- packages/prelink/prelink-20060712/prelink.default | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 packages/prelink/prelink-20060712/prelink.default (limited to 'packages/prelink/prelink-20060712/prelink.default') diff --git a/packages/prelink/prelink-20060712/prelink.default b/packages/prelink/prelink-20060712/prelink.default new file mode 100644 index 0000000000..901258ed2a --- /dev/null +++ b/packages/prelink/prelink-20060712/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 -- cgit v1.2.3