From 490fa1e28c774a0a171af2b8823f1bbbb4eeeec2 Mon Sep 17 00:00:00 2001
From: Oliver Behnke <oliver.behnke@aei.mpg.de>
Date: Tue, 27 Nov 2018 12:19:24 +0100
Subject: [PATCH] [android][vagrant] improve logging

---
 android/Vagrantfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/android/Vagrantfile b/android/Vagrantfile
index 4f06afe68d..3b7dc75b62 100644
--- a/android/Vagrantfile
+++ b/android/Vagrantfile
@@ -137,7 +137,7 @@ Vagrant.configure("2") do |config|
   end
 
   config.vm.provision "shell" do |s|
-      s.name = "Clone BOINC repository and configuring toolchain..."
+      s.name = "Cloning BOINC repository and configuring toolchain..."
       s.privileged  = false
       s.inline  = <<-SHELL
           export OPENSSL_VERSION=1.0.2q