--- /dev/null
+## -*- Autoconf -*-
+
+AC_DEFUN(ARG_ENABLE_COVERAGE,
+[AC_ARG_ENABLE(coverage,
+ AC_HELP_STRING([--enable-coverage],[enable coverage testing]),
+ [ if test ${enableval-yes} = yes; then
+ COVERAGEFLAGS="-fprofile-arcs -ftest-coverage"
+ fi ])
+AC_SUBST(COVERAGEFLAGS)])