diff --git a/test/configure_max_coverage.sh b/test/configure_max_coverage.sh new file mode 100755 index 00000000..b871c105 --- /dev/null +++ b/test/configure_max_coverage.sh @@ -0,0 +1,13 @@ +#!/bin/sh -x + +# +# This is a convenience script to run ./configure with the command line args +# that are designed for fuzzing and test coverage support +# + +if [ -x ./configure ]; then + ./configure --prefix=/usr --sysconfdir=/etc --localstatedir=/var \ + --enable-profile-coverage --enable-fuzzing-interfaces --enable-libfiu-support $@ +else + echo "[*] Execute from the fwknop top level sources directory" +fi