Makefile: Add no-check-certificate to wget

proper-testing · May 16, 2021 · 6302ea0 · 6302ea0
1 parent 35e179e
commit 6302ea0
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -1,5 +1,5 @@
 # Copyright 2010-2021 Manolis Papadakis <[email protected]>,
-#                     Eirini Arvaniti <[email protected]>
+#                     Eirini Arvaniti <[email protected]>,
 #                 and Kostis Sagonas <[email protected]>
 #
 # This file is part of PropEr.
@@ -30,7 +30,8 @@ endif
 
 REBAR3_URL := https://s3.amazonaws.com/rebar3/rebar3
 REBAR3 ?= $(shell which rebar3 || which .$(SEP)rebar3 || \
-            (wget $(REBAR3_URL) && chmod +x rebar3 && echo .$(SEP)rebar3))
+            (wget --no-check-certificate $(REBAR3_URL) && \
+	      chmod +x rebar3 && echo .$(SEP)rebar3))
 COVER ?= false
 
 default: compile