diff options
Diffstat (limited to 'testsuite/tests/afl-instrumentation/Makefile')
| -rw-r--r-- | testsuite/tests/afl-instrumentation/Makefile | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/testsuite/tests/afl-instrumentation/Makefile b/testsuite/tests/afl-instrumentation/Makefile new file mode 100644 index 0000000000..b741d5acc6 --- /dev/null +++ b/testsuite/tests/afl-instrumentation/Makefile @@ -0,0 +1,15 @@ +BASEDIR=../.. + +default: + @printf " ... testing 'afl_instrumentation':" + @if ! which afl-showmap > /dev/null; then \ + echo " => skipped (afl-showmap unavailable)"; \ + else \ + if OCAMLOPT='$(OCAMLOPT)' ./test.sh > /dev/null; then \ + echo " => passed"; \ + else \ + echo " => failed"; \ + fi \ + fi + +include $(BASEDIR)/makefiles/Makefile.common |