From bcce6b988b05b180ae12f91fe3468ecc76b6a0d0 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Mon, 16 Apr 2018 21:39:16 +0200
Subject: [PATCH] fix ci/install.sh

---
 ci/install.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/install.sh b/ci/install.sh
index 8bc6a4708a..e41f9c4c5f 100644
--- a/ci/install.sh
+++ b/ci/install.sh
@@ -1,7 +1,7 @@
 set -euxo pipefail
 
 main() {
-    .
+    :
 }
 
 main