| summaryrefslogtreecommitdiff |
diff options
| author | nsensfel <SpamShield0@noot-noot.org> | 2019-10-09 15:19:33 +0200 |
|---|---|---|
| committer | nsensfel <SpamShield0@noot-noot.org> | 2019-10-09 15:19:33 +0200 |
| commit | 1c068ee5c16b300261b3a54cfe8e0c49e36fb7ae (patch) | |
| tree | 1ceb8b0c2cc2eb1af057b6f9a6a9f596cb6fc41e /Makefile | |
| parent | 5172e8d4a9fe225e0b867366f9524f51ad19c069 (diff) | |
...
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 ?= |