diff options
Diffstat (limited to 'scripts/cfg-leak')
| -rwxr-xr-x | scripts/cfg-leak | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/scripts/cfg-leak b/scripts/cfg-leak deleted file mode 100755 index 8ccf1d6b2..000000000 --- a/scripts/cfg-leak +++ /dev/null @@ -1,4 +0,0 @@ -#!/bin/bash -CFLAGS="-Wall -Wno-format -Wno-pointer-sign -Wno-strict-aliasing -g -O2" ./configure \ ---sysconfdir=/etc --disable-tools --disable-pluto --enable-leak-detective --enable-dumm --with-capabilities=libcap \ -$1 $2 $3 $4 $5 |