summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2019-08-15 16:53:05 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2019-08-15 16:53:05 +0200
commit4ed7759d307e0236f301fb8c3b6bb21497070633 (patch)
tree3ed3317a691f6f9fb57f9d542f11a3f68be67224 /Makefile
parent49bd70107f41fec789b8617d2775b50ed2b3c7ae (diff)
...
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index ba07484..bce0a0d 100644
--- a/Makefile
+++ b/Makefile
@@ -18,7 +18,7 @@ ERL_NAME_VS_SNAME ?= -sname
## Binaries
ERLC ?= erlc
-ERLC_OPTS ?=
+ERLC_OPTS ?= -I $(INCLUDE_DIR)
ERL ?= erl
ERL_OPTS ?= -connect_all false -pa `find $(BIN_DIR) -type d`