summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTuncer Ayaz <tuncer.ayaz@gmail.com>2010-10-15 18:10:20 +0200
committerTuncer Ayaz <tuncer.ayaz@gmail.com>2010-10-15 18:10:20 +0200
commit79546e66ffd37675b352eb8a4cdc3485fec095c1 (patch)
tree5b88b63a0e31c562528af2fe390e25ea95ebf4af
parent77660c5da60283deb425ecd7f54965f9cbff2053 (diff)
Add spec: rebar_utils:abort/2 does not return
Thanks to Kostis for no_return() result type.
-rw-r--r--src/rebar_utils.erl1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/rebar_utils.erl b/src/rebar_utils.erl
index 9df360c..9512152 100644
--- a/src/rebar_utils.erl
+++ b/src/rebar_utils.erl
@@ -123,6 +123,7 @@ ensure_dir(Path) ->
Error
end.
+-spec abort(string(), [term()]) -> no_return().
abort(String, Args) ->
?ERROR(String, Args),
halt(1).