diff --git a/vagrantSandbox/initGeneralScript.sh b/vagrantSandbox/initGeneralScript.sh index e3ce12a4b..7f7661de2 100755 --- a/vagrantSandbox/initGeneralScript.sh +++ b/vagrantSandbox/initGeneralScript.sh @@ -44,11 +44,11 @@ then echo echo "Parent is mercurial. Hello Bernhard" echo - su vagrant - -c "hg clone $OFParent $OFClone" branchName=`hg branch -R $OFParent` - echo + echo "Parent is on branch $branchName" - su vagrant - -c "hg update -R $OFClone $branchName" + su vagrant - -c "hg clone -r $branchName $OFParent $OFClone" + echo else echo echo "Problem. Parent $OFParent is neither git nor mercurial"