build_ci.sh: change back to original directory after running profile

.profile changes directory on Vagrant VMs.
3 years ago · a237a42390
1 changed files with 4 additions and 0 deletions
--- a/Tools/scripts/build_ci.sh
+++ b/Tools/scripts/build_ci.sh
@ -3,8 +3,12 @@
				@@ -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