summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorAlasdair Armstrong2018-12-26 15:24:55 +0000
committerAlasdair Armstrong2018-12-26 15:24:55 +0000
commite0479ea3c479547c093ade9f675e5a0a652e8a34 (patch)
treeb4e939131642a7e97b4c1bae89531fc728187210 /Makefile
parent0a293f2e7ca72e1dc422f0035d271d7dc39cfcb2 (diff)
Add makefile target for building with Bisect coverage
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 40040a11..6ce13857 100644
--- a/Makefile
+++ b/Makefile
@@ -12,6 +12,10 @@ isail:
$(MAKE) -C src isail
ln -f -s src/isail.native sail
+coverage:
+ $(MAKE) -C src coverage
+ ln -f -s src/isail.native sail
+
install:
if [ -z "$(SHARE_DIR)" ]; then echo SHARE_DIR is unset; false; fi
mkdir -p $(INSTALL_DIR)/bin