diff options
author | Loïc Hoguin <[email protected]> | 2014-07-22 14:19:54 +0200 |
---|---|---|
committer | Loïc Hoguin <[email protected]> | 2014-07-22 14:19:54 +0200 |
commit | e270548ae9b729639789faf8f6ca208cbfa3a81f (patch) | |
tree | 5c34f9c63c94115d0477d505ff9e68bac4f2cd26 | |
parent | 0cd0795ab25277149935ef1f25691f5d71bde9fd (diff) | |
parent | 38147cbcbd36d0618590bddff0f158d64b8904cf (diff) | |
download | erlang.mk-e270548ae9b729639789faf8f6ca208cbfa3a81f.tar.gz erlang.mk-e270548ae9b729639789faf8f6ca208cbfa3a81f.tar.bz2 erlang.mk-e270548ae9b729639789faf8f6ca208cbfa3a81f.zip |
Merge branch 'patch-1' of git://github.com/jaynel/erlang.mk
-rw-r--r-- | erlang.mk | 2 | ||||
-rw-r--r-- | plugins/dialyzer.mk | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -269,7 +269,7 @@ build-plt: deps app @dialyzer --build_plt --apps erts kernel stdlib $(PLT_APPS) $(ALL_DEPS_DIRS) dialyze: - @dialyzer --src src --no_native $(DIALYZER_OPTS) + @dialyzer --no_native --src src $(DIALYZER_OPTS) # Packages. diff --git a/plugins/dialyzer.mk b/plugins/dialyzer.mk index 8754919..daec129 100644 --- a/plugins/dialyzer.mk +++ b/plugins/dialyzer.mk @@ -31,4 +31,4 @@ distclean-plt: $(gen_verbose) rm -f $(DIALYZER_PLT) dialyze: - @dialyzer --src src --no_native $(DIALYZER_OPTS) + @dialyzer --no_native --src src $(DIALYZER_OPTS) |