diff options
Diffstat (limited to 'scripts/cfg-leak')
| -rwxr-xr-x | scripts/cfg-leak | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/cfg-leak b/scripts/cfg-leak index 2b7d42c13..14b3444cd 100755 --- a/scripts/cfg-leak +++ b/scripts/cfg-leak @@ -1,4 +1,4 @@ #!/bin/bash CFLAGS="-Wall -Wno-format -Wno-pointer-sign -Wno-strict-aliasing -g -O2" ./configure \ ---sysconfdir=/etc --with-random-device=/dev/urandom \ ---enable-leak-detective +--sysconfdir=/etc --disable-tools --disable-pluto --enable-leak-detective --with-random-device=/dev/urandom \ +$1 $2 $3 $4 $5 |