From 1c068ee5c16b300261b3a54cfe8e0c49e36fb7ae Mon Sep 17 00:00:00 2001 From: nsensfel Date: Wed, 9 Oct 2019 15:19:33 +0200 Subject: ... --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index f4c728d..143d114 100644 --- a/Makefile +++ b/Makefile @@ -15,10 +15,10 @@ ERL_NAME_VS_SNAME ?= -sname ## Binaries ERLC ?= erlc -ERLC_OPTS ?= +ERLC_OPTS ?= -I $(INCLUDE_DIR) DIALYZER ?= dialyzer -DIALYZER_OPTS ?= +DIALYZER_OPTS ?= -I $(INCLUDE_DIR) M4 ?= m4 M4_OPTS ?= -- cgit v1.2.3-70-g09d2