diff --git a/jjb/onos/onos-verify.sh b/jjb/onos/onos-verify.sh
old mode 100644
new mode 100755
index b12f4d9..5e04c50
--- a/jjb/onos/onos-verify.sh
+++ b/jjb/onos/onos-verify.sh
@@ -1,7 +1,6 @@
-#!/bin/bash
+#!/bin/bash -ex
 ONOS_ROOT=`pwd`
 . tools/build/envDefaults
 echo $PATH
-onos-buck build onos
+onos-buck build onos $(onos-buck targets | egrep -e '-javadoc$')
 onos-buck test
-onos-buck build //docs:external //docs:internal --show-output