summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2019-08-15 17:57:36 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2019-08-15 17:57:36 +0200
commitb49e07be0a79566913e37817ac74547174a49041 (patch)
treeee200c11f562966b58c0b8918561c9640aa71970 /Makefile
parent4ed7759d307e0236f301fb8c3b6bb21497070633 (diff)
...
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index bce0a0d..96e75d7 100644
--- a/Makefile
+++ b/Makefile
@@ -27,7 +27,7 @@ YAWS ?= yaws
YAWS_OPTS ?= $(ERL_NAME_VS_SNAME) query_node -erlarg '$(ERL_OPTS)'
DIALYZER ?= dialyzer
-DIALYZER_OPTS ?=
+DIALYZER_OPTS ?= -I $(INCLUDE_DIR)
M4 ?= m4
M4_OPTS ?=