You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Garret Voltz edited this page Feb 12, 2020
·
1 revision
diff --git a/scripts/jenkins/TestPullRequest_all.sh b/scripts/jenkins/TestPullRequest_all.sh
index 0879f0b..47a530b 100755
--- a/scripts/jenkins/TestPullRequest_all.sh+++ b/scripts/jenkins/TestPullRequest_all.sh@@ -11,8 +11,4 @@ hoot version --debug
export HOOT_TEST_DIFF=--diff
time -p make -sj`nproc` test-all
-# This is done in VagrantBuild.sh-# cd $HOOT_HOME/docs-# make -sj`nproc`-
time -p make -sj`nproc` archive