From c883d7e3321e0ab165084240efe17754d929d7b8 Mon Sep 17 00:00:00 2001 From: David Robakowski Date: Mon, 12 Sep 2016 15:36:26 +0200 Subject: [PATCH] Fetch proper rather from hex.pm instead of GitHub --- rebar.config.script | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/rebar.config.script b/rebar.config.script index 0fe5564..41dde11 100644 --- a/rebar.config.script +++ b/rebar.config.script @@ -19,7 +19,10 @@ IsDevEnv = begin end. Deps = if not IsDevEnv -> []; true -> - [{proper, ".*", {git, PropErUrl, {branch, "master"}}}] + case IsRebar3 of + true -> [proper]; + false -> [{proper, ".*", {git, PropErUrl, {branch, "master"}}}] + end end, ErlOpts = if not IsDevEnv -> []; true ->