From 6938ef6187a4f034931da62d10354c413268bf6c Mon Sep 17 00:00:00 2001
From: Emil Fresk <emil.fresk@gmail.com>
Date: Sun, 15 Sep 2019 22:31:31 +0200
Subject: [PATCH] Revert "Fixed install script"

This reverts commit 0f5894cafe3ebab6597174dbfcca0df38bb6da83.
---
 ci/install.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ci/install.sh b/ci/install.sh
index 3fb5f83325..aa7012050e 100644
--- a/ci/install.sh
+++ b/ci/install.sh
@@ -2,9 +2,9 @@ set -euxo pipefail
 
 main() {
     # these are not needed for doc builds
-   if [ $TRAVIS_BRANCH != master ] || [ $TRAVIS_PULL_REQUEST != false ]; then
+    if [ $TRAVIS_BRANCH != master ] || [ $TRAVIS_PULL_REQUEST != false ]; then
         if [ $TARGET = x86_64-unknown-linux-gnu ]; then
-            ( cd .. && cargo install microamp-tools --version 0.1.0-alpha.2 -f )
+            ( cd .. && cargo install microamp-tools --version 0.1.0-alpha.3 -f )
             rustup target add thumbv6m-none-eabi thumbv7m-none-eabi
         fi