scripts/cfg-leak

   1 #!/bin/bash
   2 CFLAGS="-Wall -Wno-format -Wno-pointer-sign -Wno-strict-aliasing -g -O2" ./configure \
   3 --sysconfdir=/etc --disable-tools --disable-pluto --enable-leak-detective --with-random-device=/dev/urandom \
   4 $1 $2 $3 $4 $5