diff options
Diffstat (limited to 'run-tests-in-vagrant.sh')
| -rwxr-xr-x | run-tests-in-vagrant.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/run-tests-in-vagrant.sh b/run-tests-in-vagrant.sh index aedf1ca0a18..029439f68af 100755 --- a/run-tests-in-vagrant.sh +++ b/run-tests-in-vagrant.sh @@ -186,7 +186,7 @@ echo echo cd tests/vagrant/$BRANCHNAME -vagrant ssh -c 'cd /home/vagrant/glusterfs; sudo make install' -- -t +vagrant ssh -c 'cd /home/vagrant/glusterfs; sudo make -j install' -- -t if [ $? -ne 0 ] then echo "make failed, exiting...." @@ -198,7 +198,7 @@ echo echo cd tests/vagrant/$BRANCHNAME -vagrant ssh -c 'cd /home/vagrant/glusterfs; sudo ./run-tests.sh' -- -t +vagrant ssh -c "cd /home/vagrant/glusterfs; sudo ./run-tests.sh $*" -- -t cd $ORIGIN_DIR echo echo |