summaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorLoïc Hoguin <[email protected]>2012-06-11 16:25:39 +0200
committerLoïc Hoguin <[email protected]>2012-06-11 16:25:39 +0200
commitffde065f4b3a4f30738a172615f78de59a9c8490 (patch)
tree5c86c6fc13d1a129a176373c7c35db3287a9801a /Makefile
parent072074c2c083e09eeaadfe69faa63c7617bd879f (diff)
downloadbullet-ffde065f4b3a4f30738a172615f78de59a9c8490.tar.gz
bullet-ffde065f4b3a4f30738a172615f78de59a9c8490.tar.bz2
bullet-ffde065f4b3a4f30738a172615f78de59a9c8490.zip
Update version to 0.2.00.2.0
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 1 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 6c4d71f..7fa3502 100644
--- a/Makefile
+++ b/Makefile
@@ -29,8 +29,7 @@ build-plt:
--apps kernel stdlib deps/cowboy
dialyze:
- @$(DIALYZER) --src src --plt .bullet_dialyzer.plt \
- -Wbehaviours -Werror_handling \
+ @$(DIALYZER) --src src --plt .bullet_dialyzer.plt -Werror_handling \
-Wrace_conditions -Wunmatched_returns # -Wunderspecs
docs: