From 33c0b15615d4e7566eb84d5d34106cdd028c47e2 Mon Sep 17 00:00:00 2001
From: Alexey Milovidov <milovidov@yandex-team.ru>
Date: Mon, 14 May 2018 22:39:54 +0300
Subject: [PATCH] Addition to prev. revision [#CLICKHOUSE-2]

---
 ci/run-with-vagrant.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/ci/run-with-vagrant.sh b/ci/run-with-vagrant.sh
index 6d7b10ea410..74ad3e99ead 100755
--- a/ci/run-with-vagrant.sh
+++ b/ci/run-with-vagrant.sh
@@ -5,7 +5,6 @@ set -e -x
 
 pushd vagrant-$1
 
-shopt -s dotglob
 shopt -s extglob
 
 vagrant ssh -c "mkdir -p ClickHouse"