From a237a42390b0e3ecebaa292da6916e2157585ba3 Mon Sep 17 00:00:00 2001
From: Peter Barker <pbarker@barker.dropbear.id.au>
Date: Sat, 13 Aug 2022 17:16:50 +1000
Subject: [PATCH] build_ci.sh: change back to original directory after running
 profile

.profile changes directory on Vagrant VMs.
---
 Tools/scripts/build_ci.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Tools/scripts/build_ci.sh b/Tools/scripts/build_ci.sh
index 2c18c9ae42..9699f635b7 100755
--- a/Tools/scripts/build_ci.sh
+++ b/Tools/scripts/build_ci.sh
@@ -3,8 +3,12 @@
 # This helps when doing large merges
 # Andrew Tridgell, November 2011
 
+XOLDPWD=$PWD  # profile changes directory :-(
+
 . ~/.profile
 
+cd $XOLDPWD
+
 set -ex
 
 # CXX and CC are exported by default by travis