From 8384cfa33813def191cc21e0374c3edaf9ea2688 Mon Sep 17 00:00:00 2001 From: Martin Willi Date: Wed, 16 Jul 2008 11:54:44 +0000 Subject: [PATCH] build dumm with leak ./configure --- scripts/cfg-leak | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/cfg-leak b/scripts/cfg-leak index 14b3444cd..4ec425e30 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 --disable-tools --disable-pluto --enable-leak-detective --with-random-device=/dev/urandom \ +--sysconfdir=/etc --disable-tools --disable-pluto --enable-leak-detective --enable-dumm \ $1 $2 $3 $4 $5